From: Markus Triska <triska@metalevel.at>
Date: Thu, 29 Jun 2023 17:25:23 +0000 (+0200)
Subject: remove unneeded single quotes
X-Git-Tag: v0.9.2~106^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c84a5c3282af2d3e986aba578aa172ca22fcea4f;p=scryer-prolog.git

remove unneeded single quotes
---

diff --git a/tools/showterm.pl b/tools/showterm.pl
index 3193802c..899adb68 100644
--- a/tools/showterm.pl
+++ b/tools/showterm.pl
@@ -75,7 +75,7 @@ dot(Term) :-
         dot(Term, []).
 
 dot(Term, NVs) :-
-        phrase(term_labels(Term, NVs, 'c'), Ls),
+        phrase(term_labels(Term, NVs, c), Ls),
         phrase(("graph G {\n",
                 dots(Ls),
                 "}\n"), DOT),