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 1fd62d2b1eedb56e66bb153903cae5f15a0fde8e..6533e3f86397dbfc38b34a552a5b4880427ba0ef 100644 (file)
--- 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
 ;;