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

---
 configure | 2 --
 1 file changed, 2 deletions(-)

(limited to 'configure')

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