From 137742786e0409a43f9d69177f2929d9226dad8e Mon Sep 17 00:00:00 2001
From: Ahmed Irfan <irfan@ubuntu.(none)>
Date: Fri, 24 Jan 2014 18:04:37 +0100
Subject: [PATCH] removed regex include

---
 backends/btor/btor.cc | 1 -
 1 file changed, 1 deletion(-)

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
 {
-- 
2.30.2