- Removed font settings from dot output, let somebody else worry about that

This commit is contained in:
ccremers 2006-08-10 12:36:11 +00:00
parent 4290c86a7c
commit c41edf7f8c

View File

@ -1620,11 +1620,6 @@ dotSemiState (const System mysys)
termPrintRemap (sys->current_claim->type);
eprintf ("\";\n");
// Globals
eprintf ("\tfontname=Helvetica;\n");
eprintf ("\tnode [fontname=Helvetica];\n");
eprintf ("\tedge [fontname=Helvetica];\n");
// Needed for the bindings later on: create graph
nodes = nodeCount ();