...

diff --git a/helm/software/components/grafite/grafiteAstPp.ml b/helm/software/components/grafite/grafiteAstPp.ml
index 23f05d2e6ae21bf88a119eb9d124fb034ad6c5e4..44755225b57f01fbe7c12593209ef18ec16d2f82 100644 (file)
--- 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"