Every exception that used to have type string is now a string Lazy.t.

[helm.git] / helm / matita / matitaEngine.ml

diff --git a/helm/matita/matitaEngine.ml b/helm/matita/matitaEngine.ml
index 20fee8c181b3e2b2835942a3f4f6555a8e30f755..cffb9cf449c30d72cd71741e108d03248209b6a7 100644 (file)
--- a/helm/matita/matitaEngine.ml
+++ b/helm/matita/matitaEngine.ml
@@ -617,7 +617,7 @@ let generate_projections uri fields status =
      with
         CicTypeChecker.TypeCheckerFailure s ->
          MatitaLog.message 
-          ("Unable to create projection " ^ name ^ " cause: " ^ s);
+          ("Unable to create projection " ^ name ^ " cause: " ^ (Lazy.force s));
          status
       | CicEnvironment.Object_not_found uri ->
          let depend = UriManager.name_of_uri uri in