From 2047885bfabeccead23de4c55c7d1e5ad0104108 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Tue, 27 Oct 2015 22:58:06 +0000 Subject: [PATCH] use flags to control and float --- os/readterm.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/os/readterm.c b/os/readterm.c index 3fe4b55e8..4afe2a2bd 100644 --- a/os/readterm.c +++ b/os/readterm.c @@ -720,7 +720,8 @@ static parser_state_t parseError(REnv *re, FEnv *fe, int inp_stream) { Yap_Error(SYNTAX_ERROR, terr, LOCAL_ErrorMessage); return YAP_PARSING_FINISHED; } else { - Yap_PrintWarning(terr); + Term tn = Yap_MkApplTerm(FunctorShortSyntaxError, 1, &terr); + Yap_PrintWarning(tn); LOCAL_Error_TYPE = YAP_NO_ERROR; if (ParserErrorStyle == TermDec10) return YAP_SCANNING; @@ -991,7 +992,7 @@ static Int read_clause2(USES_REGS1) { * * The next two options are called implicitly: * -* + The `module` option is initialised to the current source module, by +* + The `module` option is initialized to the current source module, by *default. * + The `tons` option is set from the single var flag */