Release coccinelle-0.1.2

[bpt/coccinelle.git] / tools / extract_c_and_res.ml

diff --git a/tools/extract_c_and_res.ml b/tools/extract_c_and_res.ml
index 41f7712..1eb3804 100644 (file)
--- a/tools/extract_c_and_res.ml
+++ b/tools/extract_c_and_res.ml
@@ -1,4 +1,4 @@
-open Common open Commonop
+open Common
 
 (*****************************************************************************)
 (*  *)