From c0bbed0959665bc51909b285654db2a3cf120502 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Wed, 3 Sep 2003 11:20:18 +0000
Subject: * Factored out dot graph generation into a separate file.

---
 src/dotgraph.hh | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 src/dotgraph.hh

(limited to 'src/dotgraph.hh')

diff --git a/src/dotgraph.hh b/src/dotgraph.hh
new file mode 100644
index 000000000000..d88e04e09794
--- /dev/null
+++ b/src/dotgraph.hh
@@ -0,0 +1,8 @@
+#ifndef __DOTGRAPH_H
+#define __DOTGRAPH_H
+
+#include "fstate.hh"
+
+void printDotGraph(const FSIds & roots);
+
+#endif /* !__DOTGRAPH_H */
-- 
cgit 1.4.1