X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite%2FgrafiteAstPp.ml;h=2cd7a4f4fcddfee286d115b84ff79c5a18cee9ad;hb=72cd94b68037956a70b98cfa54f316fd54e52bae;hp=8fbe6b8d1c709b84dc995fd6bb020e3603346927;hpb=b6afef7e73324824025a6d7f313129d55b72cfc6;p=helm.git

diff --git a/helm/software/components/grafite/grafiteAstPp.ml b/helm/software/components/grafite/grafiteAstPp.ml
index 8fbe6b8d1..2cd7a4f4f 100644
--- a/helm/software/components/grafite/grafiteAstPp.ml
+++ b/helm/software/components/grafite/grafiteAstPp.ml
@@ -360,6 +360,7 @@ let pp_ncommand = function
       "unification hint " ^ string_of_int n ^ " " ^ CicNotationPp.pp_term t
   | NObj (_,_)
   | NUnivConstraint (_) -> "not supported"
+  | NCoercion (_) -> "not supported"
   | NQed (_) -> "nqed"
     
 let pp_command ~term_pp ~obj_pp = function