diff options
Diffstat (limited to 'backends/btor')
| -rw-r--r-- | backends/btor/btor.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index 965d4aa46..f5babebce 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -30,7 +30,6 @@ #include <string> #include <assert.h> #include <math.h> -#include <regex> struct BtorDumperConfig { |