X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.h;h=42866a3b370ceb52ab85967c1cfe0c80f4aedf6f;hb=a330e8dbc94f534876cc35b1d9d1b1c06d83a437;hp=c8e8956be10529d194304061f8f90a6c48181181;hpb=e309adaee27786a638bcd44303ecb88351074257;p=model-checker.git

diff --git a/cyclegraph.h b/cyclegraph.h
index c8e8956..42866a3 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