From 6de94f53002263878bfb03e31d26caefa4872f20 Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 20 May 2009 17:05:58 +0000 Subject: fix the generation of warnings in CheckGrammar. They are printed even in quiet mode and the prefix "Warning" is added automatically --- testsuite/check/lins/lins.gfs | 2 +- testsuite/check/lins/lins.gfs.gold | 5 +++++ 2 files changed, 6 insertions(+), 1 deletion(-) (limited to 'testsuite') diff --git a/testsuite/check/lins/lins.gfs b/testsuite/check/lins/lins.gfs index acc22574b..fee8cec0f 100644 --- a/testsuite/check/lins/lins.gfs +++ b/testsuite/check/lins/lins.gfs @@ -1,2 +1,2 @@ -i -erasing=on testsuite\check\lins\linsCnc.gf +i -src -erasing=on testsuite\check\lins\linsCnc.gf pg -printer=pmcfg_pretty diff --git a/testsuite/check/lins/lins.gfs.gold b/testsuite/check/lins/lins.gfs.gold index 31f6d1f64..bce4d9d05 100644 --- 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 + language linsCnc productions C1 -> F0[] -- cgit v1.2.3