X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=nodestack.h;h=99374a351bc6525b9c8f5131bcaad00761e1b0bf;hb=d5b200b89adb8c32e5061572cd21edd75c977c05;hp=394552ca879f7056b0002acfe1ee2e5e348580f0;hpb=5ea8e3d5d861ed363e5ac5f3b20b8181dd197efb;p=model-checker.git

diff --git a/nodestack.h b/nodestack.h
index 394552c..99374a3 100644
--- a/nodestack.h
+++ b/nodestack.h
@@ -5,7 +5,6 @@
 #ifndef __NODESTACK_H__
 #define __NODESTACK_H__
 
-#include <vector>
 #include <cstddef>
 #include <inttypes.h>