Sockeye: Correct file headers for ASTs
authorDaniel Schwyn <schwyda@student.ethz.ch>
Fri, 30 Jun 2017 18:32:58 +0000 (20:32 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Fri, 30 Jun 2017 18:32:58 +0000 (20:32 +0200)
commit5d9002b6d338329f4d4e198f0615cf28dcb1b8a2
tree288a49c29bb4f5c0492f620be25c5a0a84e5505d
parenta1f313e31de2557c045f84c90072088f4cc76a36
Sockeye: Correct file headers for ASTs

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
tools/sockeye/SockeyeASTBackend.hs
tools/sockeye/SockeyeASTFrontend.hs