-ng implemented

[helm.git] / helm / software / components / tptp_grafite / main.ml

diff --git a/helm/software/components/tptp_grafite/main.ml b/helm/software/components/tptp_grafite/main.ml
index e52b77c4306b6254720d91923e83307db011d29a..c236e520a67d5475d0117d56a0536f2875018728 100644 (file)
--- 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