From 784304ed65a87aac580f60ebf264b0e7acac1f74 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sun, 2 Jul 2006 23:44:18 +0000
Subject: [PATCH] - Bugfix: separators between local constants were not printed
 correctly.

---
 src/dotout.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/dotout.c b/src/dotout.c
index 5293e00..4c9597e 100644
--- a/src/dotout.c
+++ b/src/dotout.c
@@ -1185,6 +1185,7 @@ showLocal (const int run, Term told, Term tnew, char *prefix, char *cursep)
     }
   else
     {
+      eprintf (cursep);
       eprintf (prefix);
       termPrintRemap (tnew);
     }