X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fparamodulation%2FMakefile;h=85668aaf9dfa2410e7183e222aecbf78f83516ea;hb=349a0e23813a7f33853e1f8fe48230276ac22934;hp=fba57a59333f63bdb155667706e325f59eaea9b9;hpb=03cff55eef08d25984bc92080e4cac93889f3ba7;p=helm.git

diff --git a/helm/ocaml/paramodulation/Makefile b/helm/ocaml/paramodulation/Makefile
index fba57a593..85668aaf9 100644
--- a/helm/ocaml/paramodulation/Makefile
+++ b/helm/ocaml/paramodulation/Makefile
@@ -75,7 +75,7 @@ $(TOPLEVELOBJS): $(LIBRARIES)
 $(TOPLEVELOBJS:.cmo=.cmx)): $(LIBRARIES_OPT)
 
 clean:
-	rm -f *.cm[iox] *.o gTopLevel{,.opt} regtest{,.opt} testlibrary{,.opt}
+	rm -f *.cm[iox] *.o saturation{,.opt} regtest{,.opt} testlibrary{,.opt}
 install:
 	cp gTopLevel gTopLevel.opt $(BIN_DIR)
 uninstall: