From 8a43b34c48d5d0507be51e3a7a1eac87fb60e0dc Mon Sep 17 00:00:00 2001
From: "Hoang M. Le" <hle@informatik.uni-bremen.de>
Date: Wed, 25 May 2016 08:58:15 +0200
Subject: metaSMT does not require RTTI

---
 autoconf/configure.ac | 1 -
 configure             | 2 --
 2 files changed, 3 deletions(-)

diff --git a/autoconf/configure.ac b/autoconf/configure.ac
index 2be02321..63b1b6ca 100644
--- a/autoconf/configure.ac
+++ b/autoconf/configure.ac
@@ -769,7 +769,6 @@ else
 
   AC_DEFINE(ENABLE_METASMT, 1, [Enable metaSMT API])
   AC_SUBST(METASMT_ROOT,$metasmt_root)
-  AC_SUBST(REQUIRES_RTTI,[[1]])
   ENABLE_METASMT=1
   AC_MSG_NOTICE([Using MetaSMT solver backend])
 fi
diff --git a/configure b/configure
index 33893680..c9cea90e 100755
--- a/configure
+++ b/configure
@@ -5384,8 +5384,6 @@ $as_echo "#define ENABLE_METASMT 1" >>confdefs.h
 
   METASMT_ROOT=$metasmt_root
 
-  REQUIRES_RTTI=1
-
   ENABLE_METASMT=1
   { $as_echo "$as_me:${as_lineno-$LINENO}: Using MetaSMT solver backend" >&5
 $as_echo "$as_me: Using MetaSMT solver backend" >&6;}
-- 
cgit 1.4.1