Fix imports
authorAnders Mörtberg <mortberg@chalmers.se>
Wed, 1 Jul 2015 12:38:45 +0000 (14:38 +0200)
committerAnders Mörtberg <mortberg@chalmers.se>
Wed, 1 Jul 2015 12:38:45 +0000 (14:38 +0200)
commit19ed1a3e02b929f33f208c2e1650e8859a0a5a42
tree651b14c33adb3eecab17f20e63b86bc265fc6a0c
parent7da5c1217fcb5d3754a7c51d5f5461438fad4ec7
Fix imports
examples/bool.ctt
examples/int.ctt
examples/pi.ctt