X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgrafite_engine%2FnCicCoercDeclaration.ml;h=810844b2a5788d25c08d5f6afa0a6f1cb1d66703;hb=8a5c30a914d7ff665218b31853c6fb4bcf58aa08;hp=a2ed8044a187a9236f365f18794a9f73ee65c02b;hpb=d7aca3eacb4bd8dc56223098f92e5370c82f92ff;p=helm.git

diff --git a/matita/components/grafite_engine/nCicCoercDeclaration.ml b/matita/components/grafite_engine/nCicCoercDeclaration.ml
index a2ed8044a..810844b2a 100644
--- a/matita/components/grafite_engine/nCicCoercDeclaration.ml
+++ b/matita/components/grafite_engine/nCicCoercDeclaration.ml
@@ -145,8 +145,7 @@ let src_tgt_cpos_arity_of_ty_id_src_tgt status ty id src tgt =
                raise (GrafiteTypes.Command_error ("bad source pattern: " ^ 
 Lazy.force msg))
             | MultiPassDisambiguator.DisambiguationError _ ->
-               raise (GrafiteTypes.Command_error ("bad source pattern: 
-disambiguation error")))
+               raise (GrafiteTypes.Command_error ("bad source pattern: disambiguation error")))
       | _ -> assert false
     in
       aux 0 [] ty