X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/c491d8eea333ab3273dc415c7d7af192e1d0b682..5427db06e325c3c7c572e2e1ebe88a2fd211641c:/engine/cocci_vs_c.mli

diff --git a/engine/cocci_vs_c.mli b/engine/cocci_vs_c.mli
index f5ff82e..cf0f53c 100644
--- a/engine/cocci_vs_c.mli
+++ b/engine/cocci_vs_c.mli
@@ -201,7 +201,8 @@ module type PARAM =
     val optional_storage_flag : (bool -> tin -> 'x tout) -> (tin -> 'x tout)
     val optional_qualifier_flag : (bool -> tin -> 'x tout) -> (tin -> 'x tout)
     val value_format_flag: (bool -> tin -> 'x tout) -> (tin -> 'x tout)
-
+    val optional_declarer_semicolon_flag :
+	(bool -> tin -> 'x tout) -> (tin -> 'x tout)
 
   end