diff options
Diffstat (limited to 'src/dotgraph.hh')
| -rw-r--r-- | src/dotgraph.hh | 8 |
1 files changed, 8 insertions, 0 deletions
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 */ |