-
Guillaume Melquiond authored
It is needed for compiling the Coq tactic Why3.vo file when native compilation is disabled. This commit also avoid a potential race condition when Why3.vo was compiled with both the native and bytecode compilers.
4ff1dd2a