X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_refiner%2FnCicRefiner.mli;h=5d845eb1fe1526d2e713df641c566498a48439be;hb=424982ded255df68245241f56064202844ed1194;hp=9b10e3448cc05cbe52286639678525cc7d28e703;hpb=5c7b30c4b1033352578c6e38e4fcff4eb0930c44;p=helm.git

diff --git a/helm/software/components/ng_refiner/nCicRefiner.mli b/helm/software/components/ng_refiner/nCicRefiner.mli
index 9b10e3448..5d845eb1f 100644
--- a/helm/software/components/ng_refiner/nCicRefiner.mli
+++ b/helm/software/components/ng_refiner/nCicRefiner.mli
@@ -11,8 +11,8 @@
 
 (* $Id$ *)
 
-exception RefineFailure of (Stdpp.location * string) Lazy.t;;
-exception Uncertain of (Stdpp.location * string) Lazy.t;;
+exception RefineFailure of Stdpp.location * (string Lazy.t);;
+exception Uncertain of Stdpp.location * (string Lazy.t);;
 exception AssertFailure of string Lazy.t;;
 
 val typeof :