306786ab11e0b3895611ee9832647844a0ba0a47
[YACASL2.git] / cmd
1 cat ../../../../as/sum_10.casl
2 ../../../../casl2 -slat -o ../../../../as/sum_10.casl