From: Ahmed Irfan <irfan@ubuntu.(none)>
Date: Fri, 24 Jan 2014 17:04:37 +0000 (+0100)
Subject: removed regex include
X-Git-Tag: yosys-0.2.0~146^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=137742786e0409a43f9d69177f2929d9226dad8e;p=yosys.git

removed regex include
---

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
 {