X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Ftptp_grafite%2Ftptp2grafite.ml;fp=helm%2Fsoftware%2Fcomponents%2Ftptp_grafite%2Ftptp2grafite.ml;h=10ed2bc720fa8420eee1f09b7cd69763bd59363f;hb=8ae1653eb75d2b57c50e077c49cb9d078313ea9d;hp=e2a05e1c79814016d6efa1f4eef9a1412ce0ca39;hpb=b97a7976503b2d2e5cbc9199f848135a324775a8;p=helm.git

diff --git a/helm/software/components/tptp_grafite/tptp2grafite.ml b/helm/software/components/tptp_grafite/tptp2grafite.ml
index e2a05e1c7..10ed2bc72 100644
--- a/helm/software/components/tptp_grafite/tptp2grafite.ml
+++ b/helm/software/components/tptp_grafite/tptp2grafite.ml
@@ -370,7 +370,7 @@ let tptp2grafite ?(timeout=600) ?(def_depth=10) ?raw_preamble ~tptppath ~filenam
     match raw_preamble with
     | None -> 
        pp (GA.Executable(floc,
-           GA.Command(floc,GA.Include(floc,false,"logic/equality.ma"))))
+           GA.Command(floc,GA.Include(floc,true,"logic/equality.ma"))))
     | Some s -> s buri
   in
   let extra_statements_end = [] in