Merge pull request #747 from triska/determinism

reflect better determinism thanks to #732
2020-12-29 14:43:30 -07:00
parent b8020db029 3796792421
commit d362ca3a6d
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)).