From: Claudio Sacerdoti Coen Date: Tue, 29 Oct 2002 13:16:41 +0000 (+0000) Subject: xmlns:h namespace "fixed" X-Git-Tag: BEFORE_METADATA_FOR_SORT_AND_REL~7 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=87e17abfe93507703ccca101544e674e4436e9c9;hp=0e6b8620b9c128c3f256c00b422cee7708321171;p=helm.git xmlns:h namespace "fixed" --- diff --git a/helm/metadata/create_V7_mowgli/METADATA/lex.yy.c b/helm/metadata/create_V7_mowgli/METADATA/lex.yy.c index 603c10e6c..2931c7406 100644 --- a/helm/metadata/create_V7_mowgli/METADATA/lex.yy.c +++ b/helm/metadata/create_V7_mowgli/METADATA/lex.yy.c @@ -1845,7 +1845,7 @@ main(int argc, char *argv[]) yylex(); printf("\n\n"); - printf("\n"); + printf("\n"); printf("\t\n"); diff --git a/helm/metadata/create_V7_mowgli/METADATA/lex.yy_ind.c b/helm/metadata/create_V7_mowgli/METADATA/lex.yy_ind.c index 2095824ae..643ff9f1f 100644 --- a/helm/metadata/create_V7_mowgli/METADATA/lex.yy_ind.c +++ b/helm/metadata/create_V7_mowgli/METADATA/lex.yy_ind.c @@ -1923,7 +1923,7 @@ print_file() else { fprintf(out,"\n\n"); - fprintf(out,"\n"); + fprintf(out,"\n"); fprintf(out,"\t\n"); diff --git a/helm/metadata/create_V7_mowgli/METADATA/meta_lex.l b/helm/metadata/create_V7_mowgli/METADATA/meta_lex.l index 967fbc00c..4f654bc37 100644 --- a/helm/metadata/create_V7_mowgli/METADATA/meta_lex.l +++ b/helm/metadata/create_V7_mowgli/METADATA/meta_lex.l @@ -231,7 +231,7 @@ main(int argc, char *argv[]) yylex(); printf("\n\n"); - printf("\n"); + printf("\n"); printf("\t\n"); 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 6d09578f9..7fd23b21a 100644 --- a/helm/metadata/create_V7_mowgli/METADATA/meta_lex_ind.l +++ b/helm/metadata/create_V7_mowgli/METADATA/meta_lex_ind.l @@ -296,7 +296,7 @@ print_file() else { fprintf(out,"\n\n"); - fprintf(out,"\n"); + fprintf(out,"\n"); fprintf(out,"\t\n");