[NFC] Include <vector> in Verification.h. (#795)

google · Oct 15, 2020 · 241cadd · 241cadd
1 parent 23cf02c
commit 241cadd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/utils/gen-xfer-funcs/Verification.h b/utils/gen-xfer-funcs/Verification.h
@@ -5,6 +5,7 @@
 #include <functional>
 #include <unordered_map>
 #include <memory>
+#include <vector>
 
 namespace souper {  
 using z3::expr;