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); }