72a596b9ae1d353771b911b8f57f9053da65c3d8
[YACASL2.git] / test / integration / COMET2 / lad2 / 0.txt
1 ../../../../comet2 lad2.o