Release coccinelle-0.1.7

[bpt/coccinelle.git] / engine / pattern_c.ml

diff --git a/engine/pattern_c.ml b/engine/pattern_c.ml
index 445c8d6..32d69d4 100644 (file)
--- a/engine/pattern_c.ml
+++ b/engine/pattern_c.ml
@@ -18,8 +18,6 @@
 * The authors reserve the right to distribute this or future versions of
 * Coccinelle under other licenses.
 *)
-
-
 open Common
 
 module Flag_engine = Flag_matcher
@@ -250,10 +248,10 @@ module XMATCH = struct
     match mck with 
     | Ast_cocci.PLUS -> Ast_cocci.PLUS
     | Ast_cocci.CONTEXT (pos, xs) -> 
-        assert (pos = Ast_cocci.NoPos || pos = Ast_cocci.DontCarePos);
+        assert (pos =*= Ast_cocci.NoPos || pos =*= Ast_cocci.DontCarePos);
         Ast_cocci.CONTEXT (posmck, xs)
     | Ast_cocci.MINUS (pos, xs) -> 
-        assert (pos = Ast_cocci.NoPos || pos = Ast_cocci.DontCarePos);
+        assert (pos =*= Ast_cocci.NoPos || pos =*= Ast_cocci.DontCarePos);
         Ast_cocci.MINUS (posmck, xs)