From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 8 Feb 2007 16:55:37 +0000 (+0000)
Subject: If a pretty printed term spans on multiple lines, then it is printed after
X-Git-Tag: 0.4.95@7852~612
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=119f57d778f03536ec9c38c545e41b6964533b6f;p=helm.git

If a pretty printed term spans on multiple lines, then it is printed after
a new line and followed by a new line too.
---

diff --git a/matita/applyTransformation.ml b/matita/applyTransformation.ml
index 920d1fef4..0b03ff080 100644
--- a/matita/applyTransformation.ml
+++ b/matita/applyTransformation.ml
@@ -105,7 +105,11 @@ ignore (
     try
      let context' = CicMetaSubst.apply_subst_context subst context in
      let term' = CicMetaSubst.apply_subst subst term in
-      txt_of_cic_term 30 metasenv context' term'
+     let res = txt_of_cic_term 30 metasenv context' term' in
+      if String.contains res '\n' then
+       "\n" ^ res ^ "\n"
+      else
+       res
     with
        Sys.Break as exn -> raise exn
      | exn ->