X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=test%2Fintegration%2Fcasl2%2Fhanoi%2FMakefile;h=b34f79d174cff370d5d2229447cf056dac56ed56;hb=20ef96d09cd596ca0f243f2e18a6766c93974674;hp=ccce2873be60cd4e4c4c5dfe9eaafe92b859a33a;hpb=350188e12a316928e5b2d8473f580528b2780d8b;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