From: denes <??>
Date: Tue, 14 Jul 2009 14:36:56 +0000 (+0000)
Subject: Fixed Option type error (OCaml bug)
X-Git-Tag: make_still_working~3683
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=f8830ea7f8b308241d73e558092089a24ab2f867

Fixed Option type error (OCaml bug)
---

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
 ;;