[patch] Fix Windows server
A reference to a function that only exists in the Unix server code was mistakenly left in the Windows version, which has broken building on Windows for some time. GitLab won't let me fork, so I'm having to send this as an issue instead of a PR, but here's a patch:
Surprisingly, instead of this issue being fixed, the why3-base opam file was simply changed to disable building on Windows! The following line was added with why3-base.0.88.0 and is still present according to opam show --raw why3-base.0.88.2
:
available: ocaml-version >= "4.02.3" & (os != "win32")
The next release should of course be sure to remove the non-win32 constraint.