small modification in the file susp
authorcoquand <coquand@chalmers.se>
Mon, 13 Apr 2015 18:19:32 +0000 (20:19 +0200)
committercoquand <coquand@chalmers.se>
Mon, 13 Apr 2015 18:19:32 +0000 (20:19 +0200)
commitecd65944bd4652ab03313eea1264306fdb1af864
treec01bf5697dc77bc3be8b597dd16e336dba715d7a
parent0ca92a2f63714c28199b52d093fa32823b7ebc3c
small modification in the file susp
examples/susp.ctt