X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=cyclegraph.h;h=8668077ed271cc887c7a249f470a8345c54d1539;hp=45e49fb7bec3950656054e02f92b06aa5cf3ae65;hb=c1372661a92b8d2ba3bc977ebbabf52127354bea;hpb=bd6db524d36605b8eae0159f943b7e9e9361d7a5

diff --git a/cyclegraph.h b/cyclegraph.h
index 45e49fb7..8668077e 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -40,6 +40,7 @@ class CycleGraph {
 
 	SNAPSHOTALLOC
  private:
+	void addEdge(CycleNode *fromnode, CycleNode *tonode);
 	void putNode(const ModelAction *act, CycleNode *node);
 	CycleNode * getNode(const ModelAction *);
 	HashTable<const CycleNode *, const CycleNode *, uintptr_t, 4, model_malloc, model_calloc, model_free> *discovered;