From 920c207a2755176fa0930c362819d722efcce636 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 12 Aug 2024 19:23:11 -0700
Subject: [PATCH] fix typo

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/checked_int64.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/checked_int64.h b/src/util/checked_int64.h
index e202f6769..b1cb6e448 100644
--- a/src/util/checked_int64.h
+++ b/src/util/checked_int64.h
@@ -107,7 +107,7 @@ public:
     
     checked_int64 & operator--() {
         if (CHECK && m_value == INT64_MIN) {
-            throw overflo9w_exception();
+            throw overflow_exception();
         }                    
         --m_value;
         return *this;