Skip to content
GitLab
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
043a5bcd
Commit
043a5bcd
authored
Jul 20, 2012
by
François Bobot
Browse files
extraconfig: fix
parent
8f34a836
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/driver/whyconf.ml
View file @
043a5bcd
...
...
@@ -433,7 +433,7 @@ let merge_config config filename =
let
key
,
c
=
Mprover
.
choose
(
Mprover
.
filter
(
fun
_
p
->
p
.
id
=
id
)
provers
)
in
let
opt
=
(
get_stringl
~
default
:
[]
section
"option"
)
@
c
.
extra_options
in
let
drv
=
(
List
.
map
(
absolute_filename
dirname
)
(
get_stringl
~
default
:
[]
section
"driver"
))
@
c
.
extra_
option
s
in
(
get_stringl
~
default
:
[]
section
"driver"
))
@
c
.
extra_
driver
s
in
Mprover
.
add
key
{
c
with
extra_options
=
opt
;
extra_drivers
=
drv
}
provers
with
Not_found
->
load_prover
dirname
provers
(
id
,
section
)
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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