Merge branch 'master' of dragon:/home/dav/yacasl2
[YACASL2.git] / test / system / casl2 / opt_slaOn / cmd
1 cat ../../../../as/sum_10.casl
2 ../../../../casl2 -sla -Oopt.o ../../../../as/sum_10.casl