From 893dab429e78a323ef2d39b47a7f89610cfd180e Mon Sep 17 00:00:00 2001
From: Clyybber <darkmine956@gmail.com>
Date: Mon, 19 Oct 2020 22:39:50 +0200
Subject: [PATCH] Fix #15639 (#15640)

(cherry picked from commit 0f4b1ed270a0f0c380122723474ec0d36c1a7e00)
---
 koch.nim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/koch.nim b/koch.nim
index 7be35fed73..e34fdb4f45 100644
--- a/koch.nim
+++ b/koch.nim
@@ -15,7 +15,7 @@ const
 
 when not defined(windows):
   const
-    Z3StableCommit = "65de3f748a6812eecd7db7c478dcd5fc54424d368b" # the version of Z3 that DrNim uses
+    Z3StableCommit = "65de3f748a6812eecd7db7c478d5fc54424d368b" # the version of Z3 that DrNim uses
 
 when defined(gcc) and defined(windows):
   when defined(x86):