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 {