diff --git a/saw-remote-api/python/saw_client/connection.py b/saw-remote-api/python/saw_client/connection.py
index 25dfc4018e..8675dcfe65 100644
--- a/saw-remote-api/python/saw_client/connection.py
+++ b/saw-remote-api/python/saw_client/connection.py
@@ -265,7 +265,7 @@ def mir_assume(self,
         function.
         """
         self.most_recent_result = \
-            LLVMAssume(self, module, function, contract, lemma_name, timeout)
+            MIRAssume(self, module, function, contract, lemma_name, timeout)
         return self.most_recent_result
 
     def mir_find_adt(self,