From ba9557bb948fca0200d43e4e525f857d68eb291b Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 6 Feb 2015 13:02:50 -0800 Subject: [PATCH] fix(library/tactic/rewrite_tactic): incorrect assertion --- src/library/tactic/rewrite_tactic.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/tactic/rewrite_tactic.cpp b/src/library/tactic/rewrite_tactic.cpp index 60af420750..d2b61a194a 100644 --- a/src/library/tactic/rewrite_tactic.cpp +++ b/src/library/tactic/rewrite_tactic.cpp @@ -119,7 +119,7 @@ public: } bool has_num() const { - return multiplicity() == AtMostN || multiplicity() == ExactlyN; + return get_multiplicity() == AtMostN || get_multiplicity() == ExactlyN; } unsigned num() const {