Flushing the buffer to be able to save command line output to file

krooken · Feb 24, 2021 · 355e339 · 355e339
1 parent 42d5f09
commit 355e339
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/espresso-src/cvrout.c b/espresso-src/cvrout.c
@@ -66,6 +66,7 @@ void fprint_pla(FILE *fp, pPLA PLA, int output_type)
 	    fprintf(fp, ".end\n");
 	}
     }
+	fflush(fp);
 }
 
 void fpr_header(FILE *fp, pPLA PLA, int output_type)