Skip to content

GitLab

why3
why3
Commit ec715439 authored by MARCHE Claude's avatar MARCHE Claude
Browse files
Options

fix shortcut for cvc4 1.5

parent 36493e54
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 1 deletion
share/provers-detection-data.conf
View file @ ec715439
......@@ -46,7 +46,7 @@ driver = "alt_ergo"
editor = "altgr-ergo"
# CVC4 version 1.5
[ATP cvc4-15]
[ATP cvc4]
name = "CVC4"
exec = "cvc4"
exec = "cvc4-1.5"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment