Fix #15639 (#15640)

nim-lang · Oct 19, 2020 · 0f4b1ed · 0f4b1ed
1 parent 436e1fa
commit 0f4b1ed
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):