From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 12 Jun 2009 13:07:00 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~3877
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=13ba137818ee06fcc9509663161651db85fde39f;p=helm.git

...
---

diff --git a/helm/software/components/grafite/grafiteAstPp.ml b/helm/software/components/grafite/grafiteAstPp.ml
index 23f05d2e6..44755225b 100644
--- a/helm/software/components/grafite/grafiteAstPp.ml
+++ b/helm/software/components/grafite/grafiteAstPp.ml
@@ -368,9 +368,7 @@ let pp_command ~term_pp ~obj_pp = function
        | None -> "")
   | Print (_,s) -> "print " ^ s
   | Set (_, name, value) -> Printf.sprintf "set \"%s\" \"%s\"" name value
-  | NObj (_,o) -> 
-      
-
+  | NObj (_,o)
   | NUnivConstraint (_) -> "not supported"
   | NQed (_) -> "nqed"
   | Pump (_) -> "not supported"