summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAhmed Irfan <irfan@ubuntu.(none)>2014-01-24 18:04:37 +0100
committerAhmed Irfan <irfan@ubuntu.(none)>2014-01-24 18:04:37 +0100
commit137742786e0409a43f9d69177f2929d9226dad8e (patch)
tree349fcea30afd97850cd734e2202fc16f9e69323e
parent2e44b1b73a8b16a2a87e56bd887dae9150521c62 (diff)
removed regex include
-rw-r--r--backends/btor/btor.cc1
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
{