From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 5 Nov 2007 12:18:15 +0000 (+0000)
Subject: Slightly nicer output.
X-Git-Tag: 0.4.95@7852~51
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=41d014b54351c7abd5e09dc575c85f34e7c16cbd;p=helm.git

Slightly nicer output.
---

diff --git a/components/cic_exportation/cicExportation.ml b/components/cic_exportation/cicExportation.ml
index 7297dd56a..dbb7194a9 100644
--- a/components/cic_exportation/cicExportation.ml
+++ b/components/cic_exportation/cicExportation.ml
@@ -269,7 +269,7 @@ let rec pp t context =
                 in
                  combine (connames_and_argsno,patterns)
                in
-                "\n(match " ^ pp te context ^ " with \n" ^
+                "\n(match " ^ pp te context ^ " with \n   " ^
                  (String.concat "\n | "
                   (List.map
                    (fun (x,argsno,y) ->
@@ -308,7 +308,7 @@ let rec pp t context =
            (function (name,_,ty,_) ->
              Some (C.Name name,Cic.Decl ty)) funs)
        in
-         "\nlet rec " ^
+         "let rec " ^
          List.fold_right
           (fun (name,ind,ty,bo) i -> name ^ " = \n" ^
             pp bo (names@context) ^ i)
@@ -316,7 +316,7 @@ let rec pp t context =
          " in " ^
          (match get_nth names (no + 1) with
              Some (Cic.Name n,_) -> n
-           | _ -> assert false) ^ "\n"
+           | _ -> assert false)
     | C.CoFix (no,funs) ->
        let names =
         List.rev