remove unneeded single quotes

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