one more lazy/loc

[helm.git] / helm / software / components / cic_disambiguation / disambiguateTypes.ml

diff --git a/helm/software/components/cic_disambiguation/disambiguateTypes.ml b/helm/software/components/cic_disambiguation/disambiguateTypes.ml
index 1eade4ca09850d1b6d6636d5b3bb8e203142e5ee..e9927c7b6cd9796d16bdaca975762194ec9c274e 100644 (file)
--- 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