reflect better determinism thanks to #732

2020-12-29 22:24:56 +01:00
parent b8020db029
commit 3796792421
1 changed files with 1 additions and 2 deletions
--- 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)).