From 3796792421077d7cf8da643f1512f6070b652f2c Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Tue, 29 Dec 2020 22:24:56 +0100
Subject: [PATCH] reflect better determinism thanks to #732

---
 tools/showterm.pl | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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)).
-- 
2.54.0