mirrors/Nim
1
0
Fork 0
mirror of https://github.com/nim-lang/Nim.git synced 2026-01-01 02:42:05 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix #15639 (#15640)

Browse Source 
(cherry picked from commit 0f4b1ed270)
This commit is contained in:
Clyybber
2020-10-19 22:39:50 +02:00
committed by narimiran
parent 1e9746aade
commit 893dab429e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
koch.nim
View File

@@ -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):