X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgrafite%2FgrafiteAstPp.ml;fp=matita%2Fcomponents%2Fgrafite%2FgrafiteAstPp.ml;h=d56e95de0cacafdcc8b4e785edc6b208c126516d;hb=b6ceb877c05d27705ef163488aee38e60a86886c;hp=92944aaebd5b102be15c0ea93f242e74bc40773f;hpb=baa054dbb476c30576bf11b81246008a7de53462;p=helm.git

diff --git a/matita/components/grafite/grafiteAstPp.ml b/matita/components/grafite/grafiteAstPp.ml
index 92944aaeb..d56e95de0 100644
--- a/matita/components/grafite/grafiteAstPp.ml
+++ b/matita/components/grafite/grafiteAstPp.ml
@@ -107,6 +107,7 @@ let rec pp_ntactic status ~map_unicode_to_tex =
   | NBlock (_,l) -> 
      "(" ^ String.concat " " (List.map (pp_ntactic status ~map_unicode_to_tex) l)^ ")"
   | NRepeat (_,t) -> "nrepeat " ^ pp_ntactic status ~map_unicode_to_tex t
+  | Assume (_, ident, term) -> "assume" ^ ident ^ ":" ^ NotationPp.pp_term status term
 ;;
 
 let pp_nmacro status = function