Merge pull request #1849 from triska/showterm

remove unneeded single quotes
2023-06-29 12:11:12 -06:00
parent 58af615dd4 c84a5c3282
commit 83f352b95e
1 changed files with 1 additions and 1 deletions
--- 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),