]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create_V7_mowgli/METADATA/meta_lex_ind.l
* the main function MUST return 0 to communicate everything was OK
[helm.git] / helm / metadata / create_V7_mowgli / METADATA / meta_lex_ind.l
index ef0abac72c3ea09915f528d463835ec6aa56a4dd..31e1416f0fbf6e833adc003e4da89d9d06e46589 100644 (file)
@@ -316,6 +316,12 @@ main(int argc, char *argv[])
 
     PGresult   *res;
 
+    if (argc != 3)
+    {
+        fprintf(stderr, "Usage: meta_ind <object_uri> <inductive_type_file>\n");
+        exit(1);
+    }
+
     /*
      * begin, by setting the parameters for a backend connection if the
      * parameters are null, then the system will try to use reasonable
@@ -342,8 +348,10 @@ main(int argc, char *argv[])
     source_uri = malloc((sizeof('a')*2000));
     source_uri_prefix=argv[1];
     /* fprintf(stderr,"qua"); */
-    yyin = fopen("tmp/inductive_type.xml", "r");
+    yyin = fopen(argv[2], "r");
     yylex();
+
+    return 0;
 }
 
 search(uri,first_child,position,depth)