X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite%2FgrafiteMarshal.ml;h=d666f62b61837163fe53dc9905fdc0d2f2df1020;hb=ce0e8e7fc59e6a1f7ed6038370bdc1de096cdc01;hp=481a1b21dcacaed45448da576d50378433d5d616;hpb=7cb22a7f8107a6cde0b77b7879e04f586a347102;p=helm.git

diff --git a/helm/software/components/grafite/grafiteMarshal.ml b/helm/software/components/grafite/grafiteMarshal.ml
index 481a1b21d..d666f62b6 100644
--- a/helm/software/components/grafite/grafiteMarshal.ml
+++ b/helm/software/components/grafite/grafiteMarshal.ml
@@ -52,6 +52,7 @@ let rehash_cmd_uris =
       GrafiteAst.Index (loc, HExtlib.map_option CicUtil.rehash_term key, rehash_uri uri)
   | GrafiteAst.Select (loc, uri) -> 
       GrafiteAst.Select (loc, rehash_uri uri)
+  | GrafiteAst.Include _ as cmd -> cmd
   | cmd ->
       prerr_endline "Found a command not expected in a .moo:";
       let term_pp _ = assert false in