From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 24 May 2005 15:42:20 +0000 (+0000)
Subject: clean typo
X-Git-Tag: single_binding~8
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fe406dbaf19944634fa1ddb8231b7612cef934c6;p=helm.git

clean typo
---

diff --git a/helm/ocaml/thread/Makefile b/helm/ocaml/thread/Makefile
index dfca8af0c..e39e5993c 100644
--- a/helm/ocaml/thread/Makefile
+++ b/helm/ocaml/thread/Makefile
@@ -23,6 +23,6 @@ thread_fake.cmxa: fake/threadSafe.cmi
 
 clean: clean_fake
 clean_fake:
-	rm -f fake/*.cm[aio] fake/*.cmxa fake/*.[ao]
+	rm -f fake/*.cm[aiox] fake/*.cmxa fake/*.[ao]
 	rm -f thread_fake.cma thread_fake.cmxa