From c41edf7f8c867dc2af86d138f42991ae9e52ebeb Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Thu, 10 Aug 2006 12:36:11 +0000
Subject: [PATCH] - Removed font settings from dot output, let somebody else
 worry about that

---
 src/dotout.c | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/dotout.c b/src/dotout.c
index 456e321..4bb1066 100644
--- a/src/dotout.c
+++ b/src/dotout.c
@@ -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 ();