From 2d8fdad839004b2de92d8d668230f76290e22233 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Wed, 30 Mar 2016 01:27:54 +0100
Subject: [PATCH] highlighting

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

diff --git a/os/streams.c b/os/streams.c
index 0eae5ec9d..4142f43f9 100644
--- a/os/streams.c
+++ b/os/streams.c
@@ -1166,7 +1166,7 @@ static Int
       Yap_CheckStream(ARG1, Input_Stream_f | Output_Stream_f | Append_Stream_f,
                       "set_stream_position/2");
   if (sno < 0) {
-    return (FALSE);
+    return false;
   }
   tin = Deref(ARG2);
   if (IsVarTerm(tin)) {