Commit 91208b8e authored by Guillaume Melquiond's avatar Guillaume Melquiond

Merge branch 'bugfix/v0.88' into next

parents c7ed1846 989b140e
......@@ -528,8 +528,7 @@ compile_time_support = true
exec = "coqtop -batch"
version_switch = "-v"
version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)"
version_ok = "8.7.1"
version_ok = "8.7.0"
version_ok = "^8\.7\.[0-2]$"
version_ok = "8.6.1"
version_ok = "8.6"
command = "%e -I %l/coq-tactic -R %l/coq-tactic Why3 -R %l/coq Why3 -l %f"
......
......@@ -31,7 +31,7 @@ void parse_options(int argc, char **argv) {
};
while (1) {
int option_index = 0;
char c = 0;
int c = 0;
c = getopt_long (argc, argv, "j:s:",
long_options, &option_index);
/* Detect the end of the options. */
......
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