upgrade to latest swi

2013-11-15 01:10:25 +00:00
parent 5b46b6bd1a
commit 4e4f21e1dc
49 changed files with 6726 additions and 3043 deletions
--- a/os/pl-file.h
+++ b/os/pl-file.h
@@ -43,6 +43,7 @@ COMMON(int)		getTextOutputStream__LD(term_t t, IOSTREAM **s ARG_LD);
 COMMON(int)		getBinaryOutputStream__LD(term_t t, IOSTREAM **s ARG_LD);
 COMMON(int)	        reportStreamError(IOSTREAM *s);
 COMMON(int)		streamStatus(IOSTREAM *s);
+COMMON(int)		setFileNameStream(IOSTREAM *s, atom_t name);
 COMMON(atom_t)		fileNameStream(IOSTREAM *s);
 COMMON(int)		getSingleChar(IOSTREAM *s, int signals);
 COMMON(int)		readLine(IOSTREAM *in, IOSTREAM *out, char *buffer);