From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 17 Jun 2014 21:29:58 +0000 (-0400)
Subject: Code cleanup.
X-Git-Tag: cvc5-1.0.0~6778
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5401e0f9c1e88af588466bc437e1beef53fa4d2e;p=cvc5.git

Code cleanup.
---

diff --git a/src/util/regexp.h b/src/util/regexp.h
index 1ee5dcc13..9f522bdaa 100644
--- 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>