Fix nim-lang#15639 (nim-lang#15640)

ardek66 · Mar 26, 2021 · 1e22552 · 1e22552
1 parent 92edd09
commit 1e22552
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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):