diff --git a/util/LLgen/src/gencode.c b/util/LLgen/src/gencode.c index eb3bb27d..7d4ba26f 100644 --- a/util/LLgen/src/gencode.c +++ b/util/LLgen/src/gencode.c @@ -129,7 +129,6 @@ gencode(argc) { correct_prefix(); /* generate code ... */ genhdr(); - copyfile(incl_file); generate(p); getaction(2); doclose(fpars);