From afeb4b2870ac1ecb9763b0777483798c255c4412 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Sun, 7 Aug 2016 09:48:37 -0500
Subject: [PATCH] tracing

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

diff --git a/os/readterm.c b/os/readterm.c
index 3c5cc31fd..836ccf038 100644
--- a/os/readterm.c
+++ b/os/readterm.c
@@ -1154,7 +1154,6 @@ static Int read_clause(
     s = Yap_TermToString(out, &length, LOCAL_encoding, 0);
     __android_log_print(ANDROID_LOG_INFO, "YAPDroid ", "at %d %s",
                         LOCAL_SourceFileLineno, s);
-    Yap_do_low_level_trace = 1;
   }
 #endif
   UNLOCK(GLOBAL_Stream[inp_stream].streamlock);
@@ -1364,7 +1363,7 @@ Term Yap_AtomToTerm(Atom a, Term opts) {
   }
 
   rval = Yap_read_term(sno, opts, 3);
-  Yap_CloseStream(sno);
+ Yap_CloseStream(sno);
   return rval;
 }