X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=a72e0b50ef8188c49188dee959085f807625dcfa;hb=91154c0e76e77ff53c968f3aa7ad7626fae19acb;hp=236bbe99497467165fe03ac05f760d778d307276;hpb=5ea8e3d5d861ed363e5ac5f3b20b8181dd197efb;p=c11tester.git

diff --git a/model.h b/model.h
index 236bbe99..a72e0b50 100644
--- 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>