Make Sockeye case sensitive again
authorDaniel Schwyn <schwyda@student.ethz.ch>
Mon, 12 Jun 2017 08:01:34 +0000 (10:01 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Tue, 13 Jun 2017 12:22:57 +0000 (14:22 +0200)
commite2595b941598f71f4b099d2220eaf473135cbd4d
treef1df1b676693974f2837e496bebd08af52ab537b
parenta7dd5fe005307985431ed56676dff3b6a996162b
Make Sockeye case sensitive again

Prolog backend does not map node IDs to lowercase anymore (uses quotes anyway)

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