From f8830ea7f8b308241d73e558092089a24ab2f867 Mon Sep 17 00:00:00 2001
From: denes <??>
Date: Tue, 14 Jul 2009 14:36:56 +0000
Subject: [PATCH] Fixed Option type error (OCaml bug)

---
 helm/software/components/grafite_engine/grafiteEngine.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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