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) | |
download | yosys-137742786e0409a43f9d69177f2929d9226dad8e.tar.gz yosys-137742786e0409a43f9d69177f2929d9226dad8e.tar.bz2 yosys-137742786e0409a43f9d69177f2929d9226dad8e.zip |
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 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 { |