Coccinelle release 0.2.5-rc3

[bpt/coccinelle.git] / commons / common.mli

diff --git a/commons/common.mli b/commons/common.mli
index 4201eeb..723977b 100644 (file)
--- a/commons/common.mli
+++ b/commons/common.mli
@@ -1959,6 +1959,7 @@ val member_h_env_key : 'a -> ('a, 'b) scoped_h_env -> bool
 
 val new_scope_h : ('a, 'b) scoped_h_env ref -> unit
 val del_scope_h : ('a, 'b) scoped_h_env ref -> unit
+val clean_scope_h : ('a, 'b) scoped_h_env ref -> unit
 
 val do_in_new_scope_h : ('a, 'b) scoped_h_env ref -> (unit -> unit) -> unit