diff --git a/src/dotout.c b/src/dotout.c index 39d2c53..c5e8ea3 100644 --- a/src/dotout.c +++ b/src/dotout.c @@ -184,7 +184,7 @@ chooseTermNode (const Term t) rsbuf = RUNSEP; RUNSEP = "x"; - termPrintRemap (t); + termPrint (t); RUNSEP = rsbuf; } } @@ -598,7 +598,7 @@ drawClass (const System sys, Binding b) // not seen before: choose class eprintf ("\t"); chooseTermNode (varterm); - eprintf (" [label=\"Class:\\nAny "); + eprintf (" [label=\"Any "); termPrintRemap (varterm); eprintf ("\"];\n"); eprintf ("\t");