Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap

2018-08-07 17:28:09 +01:00
parent 6cdd35b6e1 05733938c1
commit 8196666cdc
21 changed files with 478 additions and 404 deletions
--- a/C/text.c
+++ b/C/text.c
@@ -557,10 +557,8 @@ unsigned char *Yap_readText(seq_tv_t *inp USES_REGS) {
      POPRET( (char*)latin2utf8(inp));
    }

-    if (inp->enc == ENC_ISO_UTF8) {
      pop_text_stack(lvl);
      return inp->val.c;
-    }
  }
  if (inp->type & YAP_STRING_WCHARS) {
    // printf("%S\n",inp->val.w);