Commit 60c18840 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

Merge branch 'bugfix/v0.88' into next

parents f248b695 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