X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=test%2Fintegration%2Fcasl2%2Fhanoi%2FMakefile;fp=test%2Fintegration%2Fcasl2%2Fhanoi%2FMakefile;h=b34f79d174cff370d5d2229447cf056dac56ed56;hb=955b8eab6e12f9d9704d7f9bd1f12613a57a6ca0;hp=ccce2873be60cd4e4c4c5dfe9eaafe92b859a33a;hpb=4fe8479d27f535a0ff44c9f6ce270249934e980f;p=YACASL2.git

diff --git a/test/integration/casl2/hanoi/Makefile b/test/integration/casl2/hanoi/Makefile
index ccce287..b34f79d 100644
--- a/test/integration/casl2/hanoi/Makefile
+++ b/test/integration/casl2/hanoi/Makefile
@@ -1,6 +1,6 @@
 include ../CMD.mk    # YACASL2DIR, CASL2
 CASL2FLAG = -sla
-ASDIR = $(YACASL2DIR)/as/FUNC
+ASDIR = $(YACASL2DIR)/as/misc
 ASFILE = $(ASDIR)/hanoi.casl
-CMD = $(CASL2) $(CASL2FLAG) $(ASFILE) $(IN)
+CMD = $(CASL2) $(CASL2FLAG) $(ASFILE)
 include ../TEST.mk