X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_engine%2FgrafiteEngine.ml;h=6533e3f86397dbfc38b34a552a5b4880427ba0ef;hb=f8830ea7f8b308241d73e558092089a24ab2f867;hp=1fd62d2b1eedb56e66bb153903cae5f15a0fde8e;hpb=4244a4d70b9ab2fece0ff5b63506f6d323cbfbe2;p=helm.git

diff --git a/helm/software/components/grafite_engine/grafiteEngine.ml b/helm/software/components/grafite_engine/grafiteEngine.ml
index 1fd62d2b1..6533e3f86 100644
--- a/helm/software/components/grafite_engine/grafiteEngine.ml
+++ b/helm/software/components/grafite_engine/grafiteEngine.ml
@@ -510,7 +510,7 @@ let pos_in_list x l =
         HExtlib.list_findopt (fun y i -> if y = x then Some i else None) l
       with
       | Some i -> i
-      | None _ -> assert false
+      | None -> assert false
 ;;
 
 let pos_of x t = 
@@ -531,7 +531,7 @@ let term_at i t =
         HExtlib.list_findopt (fun y j -> if i+1=j then Some y else None) l
       with
       | Some i -> i
-      | None _ -> assert false)
+      | None -> assert false)
   | _ -> assert false
 ;;