From 72f4ee923016cf3931f471e020dce6c317c6f87f Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Fri, 12 Aug 2022 11:47:56 +0700
Subject: [PATCH] api: Correctly map OP_BSREM0 to Z3_BSREM0.

---
 src/api/api_ast.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/api_ast.cpp b/src/api/api_ast.cpp
index 647cc8631..df3059d4b 100644
--- a/src/api/api_ast.cpp
+++ b/src/api/api_ast.cpp
@@ -1178,7 +1178,7 @@ extern "C" {
             case OP_BSMOD: return Z3_OP_BSMOD;
             case OP_BSDIV0: return Z3_OP_BSDIV0;
             case OP_BUDIV0: return Z3_OP_BUDIV0;
-            case OP_BSREM0: return Z3_OP_BUREM0;
+            case OP_BSREM0: return Z3_OP_BSREM0;
             case OP_BUREM0: return Z3_OP_BUREM0;
             case OP_BSMOD0: return Z3_OP_BSMOD0;
             case OP_ULEQ:   return Z3_OP_ULEQ;