Merge ../YAPDroid/yap

2018-06-15 14:05:43 +01:00
parent a6acc8e9e6 521a5df611
commit ca814eef07
3 changed files with 8 additions and 11 deletions
--- a/C/scanner.c
+++ b/C/scanner.c
@@ -1351,6 +1351,7 @@ TokEntry *Yap_tokenizer(struct stream_desc *st, bool store_comments,
  p = NULL; /* Just to make lint happy */
  ch = getchr(st);
  while (chtype(ch) == BS) {
+    och=ch;
    ch = getchr(st);
  }
  *tposp = Yap_StreamPosition(st - GLOBAL_Stream);