X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Ftptp_grafite%2Fmain.ml;h=c236e520a67d5475d0117d56a0536f2875018728;hb=bd3680d6b90f6c8bdda4eb4a915a86a0e806de63;hp=e52b77c4306b6254720d91923e83307db011d29a;hpb=bc76b4d2f3c380894259b45fad52cf85ae6cee18;p=helm.git

diff --git a/helm/software/components/tptp_grafite/main.ml b/helm/software/components/tptp_grafite/main.ml
index e52b77c43..c236e520a 100644
--- a/helm/software/components/tptp_grafite/main.ml
+++ b/helm/software/components/tptp_grafite/main.ml
@@ -1,6 +1,8 @@
 (* OPTIONS *)
 let tptppath = ref "./";;
+let ng = ref false;;
 let spec = [
+  ("-ng",Arg.Set ng,"Matita ng syntax");
   ("-tptppath", 
       Arg.String (fun x -> tptppath := x), 
       "Where to find the Axioms/ and Problems/ directory")
@@ -17,6 +19,6 @@ let _ =
       exit 1
     end;
   print_endline 
-    (Tptp2grafite.tptp2grafite ~filename:!inputfile ~tptppath:!tptppath ());
+    (Tptp2grafite.tptp2grafite ~filename:!inputfile ~tptppath:!tptppath ~ng:!ng ());
   exit 0