Fixes in old SAT example.ys
authorClifford Wolf <clifford@clifford.at>
Mon, 1 Sep 2014 09:45:47 +0000 (11:45 +0200)
committerClifford Wolf <clifford@clifford.at>
Mon, 1 Sep 2014 09:45:47 +0000 (11:45 +0200)
commit27a1bfbec62c8467cd14a8d44cf4a8a046576b91
tree63d7061e726fe04e0b0bc78d7233370b34c9bf5e
parentd5148f2e013a7c0e4cced043d0a01a7fb0d3f069
Fixes in old SAT example.ys
passes/sat/example.ys