From 419bd2b219c86fce732943174cc4fbc1f8349bd0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Tue, 18 Sep 2012 23:07:32 +0100 Subject: [PATCH] Fix WriteBuffer and add WriteDynamicBuffer --- library/dialect/swi/fli/swi.c | 17 ----------------- 1 file changed, 17 deletions(-) diff --git a/library/dialect/swi/fli/swi.c b/library/dialect/swi/fli/swi.c index fc3cd5a06..5d4ff4a0d 100755 --- a/library/dialect/swi/fli/swi.c +++ b/library/dialect/swi/fli/swi.c @@ -2868,23 +2868,6 @@ Yap_read_term(term_t t, IOSTREAM *st, term_t *excep, term_t vs) return TRUE; } -int -Yap_TermToString(Term t, char *s, size_t sz, int flags) -{ - CACHE_REGS - int out; - unsigned swi_flags; - - Yap_StartSlots( PASS_REGS1 ); - swi_flags = CVT_WRITE; - if (flags & (YAP_WRITE_QUOTED|YAP_WRITE_IGNORE_OPS)) { - swi_flags = CVT_WRITE_CANONICAL; - } - out = PL_get_nchars(Yap_InitSlot(t PASS_REGS), &sz, &s, swi_flags); - Yap_CloseSlots( PASS_REGS1 ); - return out; -} - extern atom_t fileNameStream(IOSTREAM *s); extern Atom Yap_FileName(IOSTREAM *s);