X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.h;h=42866a3b370ceb52ab85967c1cfe0c80f4aedf6f;hb=8497408d26002ec1a9d7cfd42458f92f2cdd9864;hp=c8e8956be10529d194304061f8f90a6c48181181;hpb=202074f941d19cef894068e7f79d76b2df598f4b;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