diff --git a/src/library/blast/imp_extension.cpp b/src/library/blast/imp_extension.cpp
index 470c9809e..abf30598b 100644
--- a/src/library/blast/imp_extension.cpp
+++ b/src/library/blast/imp_extension.cpp
@@ -24,14 +24,14 @@ void imp_extension::hypothesis_activated(hypothesis const & h, hypothesis_idx) {
     imp_extension_state & state = get_imp_extension_state(m_state_id);
     if (is_nil(m_asserts)) state.push();
     m_asserts = cons(h, m_asserts);
-    state.assert(h);
+    state.assert_hyp(h);
 }
 
 void imp_extension_state::replay_actions(imp_extension * imp_ext) {
     list<hypothesis> const & asserts = reverse(imp_ext->get_asserts());
     if (is_nil(asserts)) return;
     push();
-    for_each(asserts, [&](hypothesis const & h) { assert(h); });
+    for_each(asserts, [&](hypothesis const & h) { assert_hyp(h); });
 }
 
 void imp_extension_state::undo_actions(imp_extension * imp_ext) {
diff --git a/src/library/blast/imp_extension.h b/src/library/blast/imp_extension.h
index 52ba04113..e8166c874 100644
--- a/src/library/blast/imp_extension.h
+++ b/src/library/blast/imp_extension.h
@@ -30,7 +30,7 @@ class imp_extension_state {
 public:
     virtual void push() =0;
     virtual void pop()  =0;
-    virtual void assert(hypothesis const & h) =0;
+    virtual void assert_hyp(hypothesis const & h) =0;
 
     virtual ~imp_extension_state() {}