- versioning in macos

- fixes to input/output to improve interaction with eclipse console. -
2014-02-20 10:38:18 +00:00
parent 42ec115e75
commit f264859483
9 changed files with 50 additions and 22 deletions
--- a/os/pl-write.c
+++ b/os/pl-write.c
@@ -249,7 +249,7 @@ writeTopTerm(term_t t, int prec, write_options *options)

 int
 writeAtomToStream(IOSTREAM *s, atom_t atom)
-{ Yap_plwrite(MkAtomTerm(YAP_AtomFromSWIAtom(atom)), s, 0, 0, 1200);
+{ Yap_WriteAtom( s, YAP_AtomFromSWIAtom(atom));
  return 1;
 }