HCoop
/
bpt
/
coccinelle.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
(* end python interaction *)
let inc_match = ref false
+let exited = ref false
let include_match v = failwith "no python"
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"
let build_method (mname, camlfunc, args) pymodule classx classdict =
failwith "no python"