From 13ba137818ee06fcc9509663161651db85fde39f Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 12 Jun 2009 13:07:00 +0000 Subject: [PATCH] ... --- helm/software/components/grafite/grafiteAstPp.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) 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" -- 2.39.2