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

irdassis · Feb 12, 2021 · dcc29d2 · dcc29d2
1 parent 6e794e7
commit dcc29d2
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):