From 2770c8f884c292c480804a074c18c23c77fc5b79 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 5 Dec 2017 08:15:23 +0530
Subject: [PATCH] disable C++11 dependency to fix the travis build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/c++/z3++.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
index 03fdfc39d..8ff2be239 100644
--- a/src/api/c++/z3++.h
+++ b/src/api/c++/z3++.h
@@ -1536,10 +1536,13 @@ namespace z3 {
             m_vector = s.m_vector;
             return *this;
         }
+        /*
+          Disabled pending C++98 build upgrade
         bool contains(T const& x) const {
             for (T y : *this) if (eq(x, y)) return true;
             return false;
         }
+        */
 
         class iterator {
             ast_vector_tpl const* m_vector;