diff options
Diffstat (limited to 'autoconf')
| -rw-r--r-- | autoconf/configure.ac | 1 |
1 files changed, 0 insertions, 1 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 |