Coccinelle release 1.0.0-rc4

[bpt/coccinelle.git] / python / pycocci.mli

diff --git a/python/pycocci.mli b/python/pycocci.mli
index f0778bd..6c2b0c6 100644 (file)
--- a/python/pycocci.mli
+++ b/python/pycocci.mli
@@ -29,6 +29,7 @@ val construct_variables :
 val construct_script_variables : Ast_cocci.meta_name list -> unit
 val pyrun_simplestring : string -> int
 val inc_match : bool ref
+val exited : bool ref
 val retrieve_script_variables : Ast_cocci.meta_name list -> string list
 exception Pycocciexception 
 val set_coccifile : string -> unit