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 -
 1 file changed, 1 deletion(-)

(limited to 'autoconf')

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
-- 
cgit 1.4.1