X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate_V7_mowgli%2FMETADATA%2Fmeta_lex_ind.l;h=31e1416f0fbf6e833adc003e4da89d9d06e46589;hb=60c7321771851b82493bb202185ee184f1e7a3d1;hp=ef0abac72c3ea09915f528d463835ec6aa56a4dd;hpb=cdb45d73b98f6abaf670229b48a8442e1db902fc;p=helm.git

diff --git a/helm/metadata/create_V7_mowgli/METADATA/meta_lex_ind.l b/helm/metadata/create_V7_mowgli/METADATA/meta_lex_ind.l
index ef0abac72..31e1416f0 100644
--- a/helm/metadata/create_V7_mowgli/METADATA/meta_lex_ind.l
+++ b/helm/metadata/create_V7_mowgli/METADATA/meta_lex_ind.l
@@ -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)