From 137742786e0409a43f9d69177f2929d9226dad8e Mon Sep 17 00:00:00 2001 From: Ahmed Irfan 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 #include #include -#include struct BtorDumperConfig { -- 2.30.2