X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=test%2Fintegration%2Fcomet2%2Fhanoi%2F0.txt;h=003e0690439952737ec0dcc8a4c003f35ca878b8;hb=b40e4e96056df0ad2c248a3b6e58a8f4910f879e;hp=8422687a17919f0e46e722fd60437d4c8e3b6cbe;hpb=350188e12a316928e5b2d8473f580528b2780d8b;p=YACASL2.git

diff --git a/test/integration/comet2/hanoi/0.txt b/test/integration/comet2/hanoi/0.txt
index 8422687..003e069 100644
--- a/test/integration/comet2/hanoi/0.txt
+++ b/test/integration/comet2/hanoi/0.txt
@@ -1,4 +1,4 @@
-../../../../comet2 hanoi.o
+../../../../comet2 a.o
 from A to C
 from A to B
 from C to B