X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=test%2Fintegration%2Fcomet2%2Fhanoi%2Fa.o;h=c41baca7e5304730620c69b308d904ac238e044a;hb=b40e4e96056df0ad2c248a3b6e58a8f4910f879e;hp=eef0eb6b0c3535b39d03f32c7bb73e453123e3e2;hpb=cc884e475afe3f48804b35336e68bce4088be61a;p=YACASL2.git

diff --git a/test/integration/comet2/hanoi/a.o b/test/integration/comet2/hanoi/a.o
index eef0eb6..c41baca 100644
Binary files a/test/integration/comet2/hanoi/a.o and b/test/integration/comet2/hanoi/a.o differ