From cbaa6ab00daea1c59754d92969ea70ba293932e0 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 17 Jun 2014 17:29:58 -0400
Subject: [PATCH] Code cleanup.

---
 src/util/regexp.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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>
-- 
2.30.2