From 48e398576f74593fddb1e092b9813f14d103e17f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Mon, 8 Oct 2018 19:03:29 +0100
Subject: [PATCH] singleton

---
 os/readterm.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/os/readterm.c b/os/readterm.c
index 1fdad1a7f..f681e8c32 100644
--- a/os/readterm.c
+++ b/os/readterm.c
@@ -754,7 +754,7 @@ static bool complete_clause_processing(FEnv *fe, TokEntry *tokstart) {
     v_vnames = get_varnames(fe, tokstart);
   else
     v_vnames = 0L;
-  if (fe->t && trueLocalPrologFlag(SINGLE_VAR_WARNINGS_FLAG)) {
+  if (fe->t && trueGlobalPrologFlag(SINGLE_VAR_WARNINGS_FLAG)) {
     warn_singletons(fe, tokstart);
   }
   if (fe->t && fe->tcomms)