X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgrafite%2FgrafiteAstPp.ml;h=202e1776c53436863a2153c5a4ce55fdb90b7863;hb=f3f6b451707a3feb8245717e3fa7ca25df0ce8ef;hp=d383448249bf0743bbc172103e3bb917c3b5a42c;hpb=d145ea48ed0bdb9642ced01283231f3f13d476b8;p=helm.git

diff --git a/matita/components/grafite/grafiteAstPp.ml b/matita/components/grafite/grafiteAstPp.ml
index d38344824..202e1776c 100644
--- a/matita/components/grafite/grafiteAstPp.ml
+++ b/matita/components/grafite/grafiteAstPp.ml
@@ -130,7 +130,7 @@ let pp_ncommand = function
 ;;
     
 let pp_command = function
-  | Include (_,path) -> "include \"" ^ path ^ "\""
+  | Include (_,path,_,_) -> "include \"" ^ path ^ "\""
   | Print (_,s) -> "print " ^ s
   | Set (_, name, value) -> Printf.sprintf "set \"%s\" \"%s\"" name value