stl - remove stale <vector> and <list> #include's

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index 236bbe99497467165fe03ac05f760d778d307276..a72e0b50ef8188c49188dee959085f807625dcfa 100644 (file)
--- a/model.h
+++ b/model.h
@@ -5,7 +5,6 @@
 #ifndef __MODEL_H__
 #define __MODEL_H__
 
-#include <vector>
 #include <cstddef>
 #include <ucontext.h>
 #include <inttypes.h>