X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationMatcher.ml;h=204e945fc0c8b700388b30502709afcee1b8631b;hb=5d5e328a05ed70fcf565aef8f92b7ec87b2740f2;hp=1c1532548589c22faee9f03d5a83d0c161cce4ee;hpb=3d63cb9ed38f05c679fc3284a5b3bb4d92e52296;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationMatcher.ml b/helm/ocaml/cic_notation/cicNotationMatcher.ml
index 1c1532548..204e945fc 100644
--- a/helm/ocaml/cic_notation/cicNotationMatcher.ml
+++ b/helm/ocaml/cic_notation/cicNotationMatcher.ml
@@ -201,7 +201,7 @@ struct
       Pt.Variable (Pt.TermVar name)
     in
     let rec aux = function
-      | Pt.AttributedTerm (_, t) -> aux t
+      | Pt.AttributedTerm (_, t) -> assert false
       | Pt.Literal _
       | Pt.Layout _ -> assert false
       | Pt.Variable v -> Pt.Variable v
@@ -330,7 +330,7 @@ struct
       Hashtbl.hash mask, tl
 
     let mask_of_appl_pattern = function
-      | Pt.UriPattern s -> Uri (UriManager.uri_of_string s), []
+      | Pt.UriPattern uri -> Uri uri, []
       | Pt.VarPattern _ -> Blob, []
       | Pt.ApplPattern pl -> Appl (List.map (fun _ -> Blob) pl), pl