X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite%2FgrafiteAstPp.ml;h=372ab7fb320d498688aaf1457e75e08cc654b076;hb=e898ca2563cc4dfbd328efc7aa3a4ff86feaec92;hp=3ab738ab789a579cc41611e42e15bc90f43d22e4;hpb=246f3c2f2d26655129efacf830ecff47094795b4;p=helm.git

diff --git a/helm/software/components/grafite/grafiteAstPp.ml b/helm/software/components/grafite/grafiteAstPp.ml
index 3ab738ab7..372ab7fb3 100644
--- a/helm/software/components/grafite/grafiteAstPp.ml
+++ b/helm/software/components/grafite/grafiteAstPp.ml
@@ -91,8 +91,8 @@ let pp_just ~term_pp =
 
 let pp_ntactic ~map_unicode_to_tex = function
   | NApply (_,t) -> "napply " ^ CicNotationPp.pp_term t
-  | NChange (_,what,wwhat) -> "nchange " ^ CicNotationPp.pp_term what 
-      ^ " " ^ CicNotationPp.pp_term wwhat
+  | NChange (_,what,wwhat) -> "nchange " ^ assert false ^ 
+      " with " ^ CicNotationPp.pp_term wwhat
   | NId _ -> "nid"
 ;;