X-Git-Url: https://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/690d68d19cb322bc18140b6406e298038dcf47f2..5427db06e325c3c7c572e2e1ebe88a2fd211641c:/python/no_pycocci.ml

diff --git a/python/no_pycocci.ml b/python/no_pycocci.ml
index 793ed33..7f3f485 100644
--- 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"