X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationTag.ml;h=336f204b7b32f2d26cd5dadb928b6a64d20bf841;hb=31afc64440b7da53bb79e6f1524d47bf0fb56aaf;hp=67e966823944ade755f73f186bfc07c8a2ccbdd3;hpb=dbcc29c0e46454c7e31b485135900ceab38627e1;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationTag.ml b/helm/ocaml/cic_notation/cicNotationTag.ml
index 67e966823..336f204b7 100644
--- a/helm/ocaml/cic_notation/cicNotationTag.ml
+++ b/helm/ocaml/cic_notation/cicNotationTag.ml
@@ -49,10 +49,10 @@ let compatible t1 t2 =
   match t1, t2 with
   | Variable _, Variable _ -> true
   | Variable _, _
-  | _, Variable _ -> false
-  | Layout _, _
-  | _, Layout _
+  | _, Variable _
   | Magic _, _
-  | _, Magic _ -> assert false
+  | _, Magic _ -> false
+  | Layout _, _
+  | _, Layout _ -> assert false
   | _ -> true