diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-17 17:29:58 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:39 -0400 |
| commit | 5401e0f9c1e88af588466bc437e1beef53fa4d2e (patch) | |
| tree | 489d3a4df918caf918d5c7110cbf5a207478b6e1 /src/util/regexp.h | |
| parent | 11a370348f92dfcf723b6a9318769ba3b27167e4 (diff) | |
Code cleanup.
Diffstat (limited to 'src/util/regexp.h')
| -rw-r--r-- | src/util/regexp.h | 3 |
1 files changed, 1 insertions, 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> |