diff options
| -rw-r--r-- | doc/changelog/01-kernel/13867-changelog-for-13867.rst | 5 | ||||
| -rw-r--r-- | ide/coqide/coqide.ml | 3 |
2 files changed, 8 insertions, 0 deletions
diff --git a/doc/changelog/01-kernel/13867-changelog-for-13867.rst b/doc/changelog/01-kernel/13867-changelog-for-13867.rst new file mode 100644 index 0000000000..37e44b41c7 --- /dev/null +++ b/doc/changelog/01-kernel/13867-changelog-for-13867.rst @@ -0,0 +1,5 @@ +- **Fixed:** + Fix arities of VM opcodes for some floating-point operations + that could cause memory corruption + (`#13867 <https://github.com/coq/coq/pull/13867>`_, + by Guillaume Melquiond). diff --git a/ide/coqide/coqide.ml b/ide/coqide/coqide.ml index f9e6e74372..e066fc6292 100644 --- a/ide/coqide/coqide.ml +++ b/ide/coqide/coqide.ml @@ -1405,6 +1405,9 @@ let read_coqide_args argv = |"-coqtop-flags" :: flags :: args-> Coq.ideslave_coqtop_flags := Some flags; filter_coqtop coqtop project_files bindings_files out args + | ("-v" | "--version") :: _ -> + Printf.printf "CoqIDE, version %s\n" Coq_config.version; + exit 0 |arg::args when out = [] && CString.is_prefix "-psn_" arg -> (* argument added by MacOS during .app launch *) filter_coqtop coqtop project_files bindings_files out args |