reflect better determinism thanks to #732

diff --git a/tools/showterm.pl b/tools/showterm.pl
index 3f9ba8d9959d24a29c1f1c7f76f611b41e9c7f04..3193802c98c532415cc4317bab9b0cf9b8fab05f 100644 (file)
--- 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)).