remove unneeded single quotes

This commit is contained in:
Markus Triska
2023-06-29 19:25:23 +02:00
parent 58af615dd4
commit c84a5c3282

View File

@@ -75,7 +75,7 @@ dot(Term) :-
dot(Term, []). dot(Term, []).
dot(Term, NVs) :- dot(Term, NVs) :-
phrase(term_labels(Term, NVs, 'c'), Ls), phrase(term_labels(Term, NVs, c), Ls),
phrase(("graph G {\n", phrase(("graph G {\n",
dots(Ls), dots(Ls),
"}\n"), DOT), "}\n"), DOT),