Fix all the old examples of HITs
authorAnders Mörtberg <mortberg@chalmers.se>
Mon, 20 Apr 2015 08:12:57 +0000 (10:12 +0200)
committerAnders Mörtberg <mortberg@chalmers.se>
Mon, 20 Apr 2015 08:12:57 +0000 (10:12 +0200)
commitd5d7b5f88af921768e85e79d2df3beda987ddcc5
tree3b4602086a6e64d6bf0a599c29392e1f99b15c4a
parent40da6bd1614066fba34dce4d6a006c44f0ef4f42
Fix all the old examples of HITs
examples/circle.ctt
examples/higherhit.ctt
examples/integer.ctt
examples/interval.ctt
examples/susp.ctt