add further input

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12084 cec4b9c1-7d33-0410-9eda-942365e851bb
spechub · Aug 11, 2009 · e8be50e · e8be50e
1 parent a397281
commit e8be50e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -161,7 +161,8 @@ Haskell_files = $(addsuffix .hs, \
 
 ## rule for ATC generation
 Haskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)
-	$(GENRULECALL) -i Haskell.Binary -o $@ $(Haskell_files)
+	$(GENRULECALL) -i Haskell.Binary -i Haskell.BaseATC \
+            -o $@ $(Haskell_files)
 
 hs_der_files += $(hs_clean_files)