8deb1d2211e0c6d957606fd44d9c98d972e14012
[YACASL2.git] / cmd
1 cat ../../../../as/sum_10.casl
2 ../../../../casl2 -slaTo ../../../../as/sum_10.casl