Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
b0ba03aa
Commit
b0ba03aa
authored
Oct 05, 2012
by
François Bobot
Browse files
Fix: --extra-config was not taken into account by why3
parent
7ecd5913
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/main.ml
View file @
b0ba03aa
...
...
@@ -232,6 +232,7 @@ let () = try
(** Configuration *)
let
config
=
read_config
!
opt_config
in
let
config
=
List
.
fold_left
merge_config
config
!
opt_extra
in
let
main
=
get_main
config
in
Whyconf
.
load_plugins
main
;
...
...
@@ -270,8 +271,6 @@ let () = try
end
;
if
!
opt_list_provers
then
begin
opt_list
:=
true
;
let
config
=
read_config
!
opt_config
in
let
config
=
List
.
fold_left
merge_config
config
!
opt_extra
in
let
print
=
Pp
.
print_iter2
Mprover
.
iter
Pp
.
newline
Pp
.
nothing
print_prover
Pp
.
nothing
in
let
provers
=
get_provers
config
in
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment