diff options
| author | Clyybber <darkmine956@gmail.com> | 2020-10-19 22:39:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-19 22:39:50 +0200 |
| commit | 0f4b1ed270a0f0c380122723474ec0d36c1a7e00 (patch) | |
| tree | 422b0bb798382d1f09473aa621c3f32ccb4a4ca5 | |
| parent | 436e1fa5b13d0a5b667a800b1716e5139f1c20fe (diff) | |
| download | Nim-0f4b1ed270a0f0c380122723474ec0d36c1a7e00.tar.gz | |
Fix #15639 (#15640)
| -rw-r--r-- | koch.nim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/koch.nim b/koch.nim index 7be35fed7..e34fdb4f4 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): |