X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FtopLevel%2FMakefile;h=24c631a1059413381ba9d132da87f71db548cd79;hb=7e9ee837f75f38bf01240cdc03dd51c764c2665f;hp=01dd0e1735154710d0ba4e477faff058249951cf;hpb=795c7a7a2f45650204e6d5a5974a0eedec6af7af;p=helm.git

diff --git a/helm/gTopLevel/topLevel/Makefile b/helm/gTopLevel/topLevel/Makefile
index 01dd0e173..24c631a10 100644
--- a/helm/gTopLevel/topLevel/Makefile
+++ b/helm/gTopLevel/topLevel/Makefile
@@ -14,7 +14,7 @@ opt: topLevel.opt
 
 DEPOBJS = topLevel.ml
 
-TOPLEVELOBJS = ../mQueryGenerator.cmo topLevel.cmo
+TOPLEVELOBJS = ../mQueryLevels.cmo ../mQueryGenerator.cmo topLevel.cmo
 
 depend:
 	$(OCAMLDEP) $(DEPOBJS) > .depend