[Xsb-commits] CVS: XSB/lib write_term.P,1.8,1.9

[David S. W. <dw...@us...>]

Update of /cvsroot/xsb/XSB/lib
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv29352

Modified Files:
	write_term.P 
Log Message:
Added compiler ciao declaration to eliminate warning.


Index: write_term.P
===================================================================
RCS file: /cvsroot/xsb/XSB/lib/write_term.P,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -r1.8 -r1.9
--- write_term.P	30 Aug 2004 17:57:17 -0000	1.8
+++ write_term.P	31 Aug 2004 00:26:32 -0000	1.9
@@ -24,6 +24,7 @@
 **
 ** 
 */
+:- compiler_options([ciao_directives,sysmod,optimize]).
 
 :- export write_term/2, write_term/3, write_option/1,code_class/2.