X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.h;fp=cyclegraph.h;h=a03ebca4bff1ca3a2fc950acbd33f043c49b2068;hb=91154c0e76e77ff53c968f3aa7ad7626fae19acb;hp=9819cf8763ef2eaa5e0b72cb22989bc116fb1059;hpb=5ea8e3d5d861ed363e5ac5f3b20b8181dd197efb;p=model-checker.git

diff --git a/cyclegraph.h b/cyclegraph.h
index 9819cf8..a03ebca 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -9,7 +9,6 @@
 #ifndef __CYCLEGRAPH_H__
 #define __CYCLEGRAPH_H__
 
-#include <vector>
 #include <inttypes.h>
 #include <stdio.h>