From 1315c8d7dea433574d28bd0e22f782ff784c68fb Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 24 Oct 2017 09:03:28 -0700 Subject: [PATCH] rename repeated class apart Signed-off-by: Nikolaj Bjorner --- src/muz/base/proof_utils.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/muz/base/proof_utils.cpp b/src/muz/base/proof_utils.cpp index 3b2d50fdc..87355a07b 100644 --- a/src/muz/base/proof_utils.cpp +++ b/src/muz/base/proof_utils.cpp @@ -9,7 +9,7 @@ Copyright (c) 2015 Microsoft Corporation #include "ast/ast_smt2_pp.h" #include "ast/rewriter/var_subst.h" -class reduce_hypotheses { +class reduce_hypotheses0 { typedef obj_hashtable expr_set; ast_manager& m; // reference for any expression created by the tranformation @@ -137,7 +137,7 @@ class reduce_hypotheses { } public: - reduce_hypotheses(ast_manager& m): m(m), m_refs(m) {} + reduce_hypotheses0(ast_manager& m): m(m), m_refs(m) {} void operator()(proof_ref& pr) { proof_ref tmp(m); @@ -416,7 +416,7 @@ public: void proof_utils::reduce_hypotheses(proof_ref& pr) { ast_manager& m = pr.get_manager(); - class reduce_hypotheses reduce(m); + class reduce_hypotheses0 reduce(m); reduce(pr); CTRACE("proof_utils", !is_closed(m, pr), tout << mk_pp(pr, m) << "\n";); }