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