projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 7a25f18)
Code cleanup.
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 17 Jun 2014 21:29:58 +0000 (17:29 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 17 Jun 2014 22:15:53 +0000 (18:15 -0400)
src/util/regexp.h patch | blob | history

diff --git a/src/util/regexp.h b/src/util/regexp.h
index 1ee5dcc13dc3743c289afcaa1ab8ab2e19cdb274..9f522bdaad034d832f0baa4be599e5bd3e568496 100644 (file)
--- a/src/util/regexp.h
+++ b/src/util/regexp.h
@@ -20,8 +20,7 @@
 #ifndef __CVC4__REGEXP_H
 #define __CVC4__REGEXP_H
 
-#include <iostream>
-#include <iomanip>
+#include <vector>
 #include <string>
 #include <set>
 #include <sstream>