Fix LLVM/MIR confusion in mir_assume Python binding

GaloisInc · Oct 16, 2023 · 3a12af7 · 3a12af7
1 parent 5a410ca
commit 3a12af7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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,