From: Markus Triska <triska@metalevel.at>
Date: Tue, 29 Dec 2020 21:24:56 +0000 (+0100)
Subject: reflect better determinism thanks to #732
X-Git-Tag: v0.9.0~159^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3796792421077d7cf8da643f1512f6070b652f2c;p=scryer-prolog.git

reflect better determinism thanks to #732
---

diff --git a/tools/showterm.pl b/tools/showterm.pl
index 3f9ba8d9..3193802c 100644
--- a/tools/showterm.pl
+++ b/tools/showterm.pl
@@ -13,8 +13,7 @@
       %@     c -- c2;
       %@     c2 [label = "b", style=filled, fontname="courier bold", fillcolor=lightcyan];
       %@ }
-      %@    true
-      %@ ;  ...
+      %@    true.
 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
 
 :- use_module(library(clpz)).