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
dac73b72
Commit
dac73b72
authored
Mar 09, 2016
by
MARCHE Claude
Browse files
Fixed bug introduced by the groupment of limits
parent
ee430035
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/driver/whyconf.ml
View file @
dac73b72
...
...
@@ -210,7 +210,7 @@ let cntexample m = m.cntexample
exception
StepsCommandNotSpecified
of
string
let
get_complete_command
pc
~
with_steps
=
let
comm
=
if
with_steps
then
pc
.
command
let
comm
=
if
not
with_steps
then
pc
.
command
else
match
pc
.
command_steps
with
|
None
->
raise
(
StepsCommandNotSpecified
...
...
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