fix the generation of warnings in CheckGrammar. They are printed even in quiet mode and the prefix "Warning" is added automatically

2009-05-20 17:05:58 +00:00
parent 880665ad0f
commit 6de94f5300
5 changed files with 20 additions and 15 deletions
--- a/testsuite/check/lins/lins.gfs.gold
+++ b/testsuite/check/lins/lins.gfs.gold
@@ -1,3 +1,8 @@
+checking module linsCnc
+
+Warning: no linearization type for C, inserting default {s : Str}
+
+checking module linsCnc

 Warning: no linearization of test