removed regex include

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index 965d4aa468b38cac75db5132debf81a58b4c534c..f5babebce69fdbc092ebbc7381ba3e038d6c7831 100644 (file)
--- 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
 {