diff options
| author | Ahmed Irfan <irfan@ubuntu.(none)> | 2014-01-24 18:04:37 +0100 |
|---|---|---|
| committer | Ahmed Irfan <irfan@ubuntu.(none)> | 2014-01-24 18:04:37 +0100 |
| commit | 137742786e0409a43f9d69177f2929d9226dad8e (patch) | |
| tree | 349fcea30afd97850cd734e2202fc16f9e69323e /backends/btor | |
| parent | 2e44b1b73a8b16a2a87e56bd887dae9150521c62 (diff) | |
removed regex include
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 965d4aa4..f5babebc 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 { |