removed regex include

This commit is contained in:
Ahmed Irfan 2014-01-24 18:04:37 +01:00
parent 2e44b1b73a
commit 137742786e
1 changed files with 0 additions and 1 deletions

View File

@ -30,7 +30,6 @@
#include <string>
#include <assert.h>
#include <math.h>
#include <regex>
struct BtorDumperConfig
{