X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.h;h=42866a3b370ceb52ab85967c1cfe0c80f4aedf6f;hb=a7472bf7d514d8c53b22eb64bc552f593c79d506;hp=c8e8956be10529d194304061f8f90a6c48181181;hpb=202074f941d19cef894068e7f79d76b2df598f4b;p=c11tester.git

diff --git a/cyclegraph.h b/cyclegraph.h
index c8e8956b..42866a3b 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -29,6 +29,7 @@ class CycleGraph {
 	void commitChanges();
 	void rollbackChanges();
 #if SUPPORT_MOD_ORDER_DUMP
+	void dumpNodes(FILE *file);
 	void dumpGraphToFile(const char * filename);
 #endif