From 5e3174ab11d8a4e4779d561cd48227a050a0d1a2 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 10 Jul 2009 02:02:05 +0000
Subject: [PATCH] Let's live with new ocaml type system limitations...

---
 helm/software/matita/matitacLib.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/helm/software/matita/matitacLib.ml b/helm/software/matita/matitacLib.ml
index 2c5160572..6d01fc460 100644
--- a/helm/software/matita/matitacLib.ml
+++ b/helm/software/matita/matitacLib.ml
@@ -29,7 +29,7 @@ open Printf
 
 open GrafiteTypes
 
-exception AttemptToInsertAnAlias of #LexiconEngine.status
+exception AttemptToInsertAnAlias of LexiconEngine.status
 
 let slash_n_RE = Pcre.regexp "\\n" ;;
 
@@ -235,7 +235,8 @@ let compile atstart options fname =
       with
       | [] -> grafite_status
       | (g,None)::_ -> g
-      | (g,Some _)::_ -> raise (AttemptToInsertAnAlias g)
+      | (g,Some _)::_ ->
+         raise (AttemptToInsertAnAlias (g :> LexiconEngine.status))
      with MatitaEngine.EnrichedWithStatus 
             (GrafiteEngine.Macro (floc, f), grafite) as exn ->
             match f (get_macro_context (Some grafite)) with 
-- 
2.39.2