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

ocaml sucks...
---

diff --git a/helm/software/components/grafite/grafiteAstPp.ml b/helm/software/components/grafite/grafiteAstPp.ml
index 44755225b..ba9f87abd 100644
--- a/helm/software/components/grafite/grafiteAstPp.ml
+++ b/helm/software/components/grafite/grafiteAstPp.ml
@@ -368,7 +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 (_,_)
   | NUnivConstraint (_) -> "not supported"
   | NQed (_) -> "nqed"
   | Pump (_) -> "not supported"