X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic_disambiguation%2FdisambiguateTypes.ml;h=e9927c7b6cd9796d16bdaca975762194ec9c274e;hb=573d8c989cca4fc19e3879cc2c0e51c5c3be6878;hp=1eade4ca09850d1b6d6636d5b3bb8e203142e5ee;hpb=8d58fba703fcb1cfddd2a78a0b157a087bcf2a5b;p=helm.git

diff --git a/helm/software/components/cic_disambiguation/disambiguateTypes.ml b/helm/software/components/cic_disambiguation/disambiguateTypes.ml
index 1eade4ca0..e9927c7b6 100644
--- a/helm/software/components/cic_disambiguation/disambiguateTypes.ml
+++ b/helm/software/components/cic_disambiguation/disambiguateTypes.ml
@@ -40,7 +40,7 @@ type domain_item =
   | Symbol of string * int     (* literal, instance num *)
   | Num of int                 (* instance num *)
 
-exception Invalid_choice of Stdpp.location option * string Lazy.t
+exception Invalid_choice of (Stdpp.location * string) Lazy.t
 
 module OrderedDomain =
   struct