Coccinelle release 1.0.0-rc4

[bpt/coccinelle.git] / python / no_pycocci.ml

diff --git a/python/no_pycocci.ml b/python/no_pycocci.ml
index 793ed33..7f3f485 100644 (file)
--- a/python/no_pycocci.ml
+++ b/python/no_pycocci.ml
@@ -62,9 +62,12 @@ let pycocci_instantiate_class fqn args = failwith "no python"
 (* end python interaction *)
 
 let inc_match = ref false
+let exited = ref false
 
 let include_match v = failwith "no python"
 
+let sp_exit _ = failwith "no python"
+
 let build_method (mname, camlfunc, args) pymodule classx classdict =
   failwith "no python"