From: Claudio Sacerdoti Coen Date: Fri, 7 Mar 2014 15:43:17 +0000 (+0000) Subject: Do not assert false for a print not implemented yet. X-Git-Tag: make_still_working~954 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=5072e94b40c0a9b9ed010d49c244d00ee30a7395 Do not assert false for a print not implemented yet. --- diff --git a/matita/components/grafite/grafiteAstPp.ml b/matita/components/grafite/grafiteAstPp.ml index 652f10b2a..92944aaeb 100644 --- a/matita/components/grafite/grafiteAstPp.ml +++ b/matita/components/grafite/grafiteAstPp.ml @@ -83,7 +83,7 @@ let rec pp_ntactic status ~map_unicode_to_tex = | NIntro (_,n) -> "#" ^ n | NIntros (_,l) -> "#" ^ String.concat " " l | NInversion (_,what,where) -> "ninversion " ^ NotationPp.pp_term status what ^ - assert false ^ " " ^ assert false + "...to be implemented..." ^ " " ^ "...to be implemented..." | NLApply (_,t) -> "lapply " ^ NotationPp.pp_term status t | NRewrite (_,dir,n,where) -> "nrewrite " ^ (match dir with `LeftToRight -> ">" | `RightToLeft -> "<") ^