From 7d3053b906241c05f4bc0f6a7cf6b96c86d0d4f2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Fri, 26 Feb 2016 17:41:05 +0000
Subject: [PATCH] undef should obey flag.

---
 C/flags.c | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/C/flags.c b/C/flags.c
index 4c32ea845..f44dc2541 100644
--- a/C/flags.c
+++ b/C/flags.c
@@ -1018,13 +1018,13 @@ Term Yap_UnknownFlag(Term mod) {
        mod = TermProlog;
 
       ModEntry *fv = Yap_GetModuleEntry(mod);
-  if (fv == NULL)
-     fv = Yap_GetModuleEntry(AtomUser);
-     if (fv->flags & UNKNOWN_ERROR)
-      return TermError;
-    if (fv->flags & UNKNOWN_WARNING)
-      return TermWarning;
-    return TermFail;
+      if (fv == NULL)
+        fv = Yap_GetModuleEntry(TermUser);
+      if (fv->flags & UNKNOWN_ERROR)
+        return TermError;
+      if (fv->flags & UNKNOWN_WARNING)
+        return TermWarning;
+      return TermFail;
 }
 
 Term getYapFlag(Term tflag) {