]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create_V7_mowgli/METADATA/lex.yy_ind.c
Bug fixed: refSort were exported (as refObj) also when occurring InHypothesis
[helm.git] / helm / metadata / create_V7_mowgli / METADATA / lex.yy_ind.c
index acf8e8ab8cb12610a0639948e309eca6d11ee6e3..b661e22d398263b7b687a5bcf92eb0c88ae24d41 100644 (file)
@@ -931,7 +931,8 @@ case 15:
 YY_RULE_SETUP
 #line 210 "meta_lex_ind.l"
 {         
-                    if ((position == INTYPE) | (position == MAINHYP))
+                    if (((position == INTYPE) | (position == MAINHYP)) &&
+                       (first_child == HERE))
                      {
                        tmp=(char *)malloc((sizeof('a')*200)); 
                        strcpy(tmp,yytext);
@@ -948,7 +949,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 16:
 YY_RULE_SETUP
-#line 226 "meta_lex_ind.l"
+#line 227 "meta_lex_ind.l"
 {
                      skip = 1;
                      first_child = AFTER;
@@ -956,7 +957,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 17:
 YY_RULE_SETUP
-#line 231 "meta_lex_ind.l"
+#line 232 "meta_lex_ind.l"
 { 
                      if (position == INTYPE) /* CONST on the spine */
                         position = INCONCL;
@@ -965,7 +966,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 18:
 YY_RULE_SETUP
-#line 237 "meta_lex_ind.l"
+#line 238 "meta_lex_ind.l"
 { 
                      if (position == INTYPE) /* MUTIND on the spine */
                         position = INCONCL;
@@ -974,7 +975,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 19:
 YY_RULE_SETUP
-#line 243 "meta_lex_ind.l"
+#line 244 "meta_lex_ind.l"
 { 
                      if (position == INTYPE) /* MUTCONSTRUCT on the spine */
                         position = INCONCL;
@@ -983,7 +984,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 20:
 YY_RULE_SETUP
-#line 249 "meta_lex_ind.l"
+#line 250 "meta_lex_ind.l"
 {     
                          if (!skip) {
                             uri=(char *)malloc((sizeof('a')*200)); 
@@ -1003,7 +1004,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 21:
 YY_RULE_SETUP
-#line 266 "meta_lex_ind.l"
+#line 267 "meta_lex_ind.l"
 {
                          if ((where == MUTIND) || (where == MUTCONSTRUCT))
                           { strsep(&yytext,&sep);
@@ -1028,7 +1029,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 22:
 YY_RULE_SETUP
-#line 288 "meta_lex_ind.l"
+#line 289 "meta_lex_ind.l"
 {
                          if (where == MUTCONSTRUCT)
                           { strsep(&yytext,&sep);
@@ -1048,10 +1049,10 @@ YY_RULE_SETUP
        YY_BREAK
 case 23:
 YY_RULE_SETUP
-#line 307 "meta_lex_ind.l"
+#line 308 "meta_lex_ind.l"
 ECHO;
        YY_BREAK
-#line 1055 "lex.yy_ind.c"
+#line 1056 "lex.yy_ind.c"
 case YY_STATE_EOF(INITIAL):
        yyterminate();
 
@@ -1941,7 +1942,7 @@ int main()
        return 0;
        }
 #endif
-#line 307 "meta_lex_ind.l"
+#line 308 "meta_lex_ind.l"
 
 
  /***************************************************************/
@@ -1969,14 +1970,14 @@ print_file()
                      fprintf(stderr, "error in openinf file %s\n", filename);
                       exit(-1);
                      } 
-                   if (!(outrel = fopen("forward_rel.xml","a"))) 
+                   if (!(outrel = fopen("forward_rel.rdf","a"))) 
                      {
-                     fprintf(stderr, "error in opening file forward_rel.xml\n");
+                     fprintf(stderr, "error in openinf file forward_rel.rdf\n");
                       exit(-1);
                      }
-                   if (!(outsort = fopen("forward_sort.xml","a"))) 
+                   if (!(outsort = fopen("forward_sort.rdf","a"))) 
                      {
-                     fprintf(stderr, "error in opening file forward_sort.xml\n");
+                     fprintf(stderr, "error in openinf file forward_rel.rdf\n");
                       exit(-1);
                      }