stl - remove stale <vector> and <list> #include's
[model-checker.git] / cyclegraph.h
index 9819cf8763ef2eaa5e0b72cb22989bc116fb1059..a03ebca4bff1ca3a2fc950acbd33f043c49b2068 100644 (file)
@@ -9,7 +9,6 @@
 #ifndef __CYCLEGRAPH_H__
 #define __CYCLEGRAPH_H__
 
-#include <vector>
 #include <inttypes.h>
 #include <stdio.h>