This commit is contained in:
Vitor Santos Costa 2016-08-07 09:48:37 -05:00
parent 121d927e85
commit afeb4b2870

View File

@ -1154,7 +1154,6 @@ static Int read_clause(
s = Yap_TermToString(out, &length, LOCAL_encoding, 0); s = Yap_TermToString(out, &length, LOCAL_encoding, 0);
__android_log_print(ANDROID_LOG_INFO, "YAPDroid ", "at %d %s", __android_log_print(ANDROID_LOG_INFO, "YAPDroid ", "at %d %s",
LOCAL_SourceFileLineno, s); LOCAL_SourceFileLineno, s);
Yap_do_low_level_trace = 1;
} }
#endif #endif
UNLOCK(GLOBAL_Stream[inp_stream].streamlock); UNLOCK(GLOBAL_Stream[inp_stream].streamlock);