ab6a71200e16ca5894c4b4e58cfa13078cb41d1e
[YACASL2.git] / cmd
1 cat sum_10.casl
2 ../../../../casl2 -atd sum_10.casl