X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMakefile.common.in;h=501a411dae2d96e30fb21ebd78c0fad67b70f763;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=6b7386466e0475b134ddb94a47d8f46dfea7b6df;hpb=66cb9dbb90775e44e281cfa29429c335d41a9998;p=helm.git

diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in
index 6b7386466..501a411da 100644
--- a/helm/ocaml/Makefile.common.in
+++ b/helm/ocaml/Makefile.common.in
@@ -81,7 +81,7 @@ $(IMPLEMENTATION_FILES:%.ml=%.cmo): $(LIBRARIES)
 $(IMPLEMENTATION_FILES:%.ml=%.cmx): $(LIBRARIES_OPT)
 
 clean:
-	rm -f *.cm[ioax] *.cmxa *.o *.a $(EXTRA_OBJECTS_TO_CLEAN)
+	rm -f *.cm[ioax] *.cmxa *.o *.a *.annot $(EXTRA_OBJECTS_TO_CLEAN)
 	if [ -f test ]; then rm -f test; else true; fi
 	if [ -f test.opt ]; then rm -f test.opt; else true; fi