aboutsummaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2015-11-03 01:26:44 +0000
committerdos-reis <gdr@axiomatics.org>2015-11-03 01:26:44 +0000
commit195b1eb05b7f5d93dce92b68db543c025fb84ebd (patch)
tree701719a614a3ae0fbf0dfeb3f86bffbaa27a7bdf /config
parent67bde40b42a2271f68bc86a177a02401392de978 (diff)
downloadopen-axiom-195b1eb05b7f5d93dce92b68db543c025fb84ebd.tar.gz
Fix bogus warning from Clang.
Diffstat (limited to 'config')
-rw-r--r--config/open-axiom.m42
1 files changed, 1 insertions, 1 deletions
diff --git a/config/open-axiom.m4 b/config/open-axiom.m4
index 1a7b1a78..746c954e 100644
--- a/config/open-axiom.m4
+++ b/config/open-axiom.m4
@@ -357,7 +357,7 @@ dnl -- OPENAXIOM_CXX_EXTRA_OPTIONS --
dnl ---------------------------------
AC_DEFUN([OPENAXIOM_EXTRA_CXX_OPTIONS], [
oa_extra_cxxflags=
-OPENAXIOM_CXX_GROK_OPTION([-Wno-mismatch-tags],[oa_extra_cxxflags])
+OPENAXIOM_CXX_GROK_OPTION([-Wno-mismatched-tags],[oa_extra_cxxflags])
OPENAXIOM_CXX_GROK_OPTION([-Wno-string-plus-int],[oa_extra_cxxflags])
AC_SUBST(oa_extra_cxxflags)