From c84a5c3282af2d3e986aba578aa172ca22fcea4f Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Thu, 29 Jun 2023 19:25:23 +0200
Subject: [PATCH] remove unneeded single quotes

---
 tools/showterm.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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),
-- 
2.54.0