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
ca7e7cd7
Commit
ca7e7cd7
authored
Mar 14, 2016
by
Andrei Paskevich
Browse files
Session: fix a typo
parent
3327989e
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/session/session.ml
View file @
ca7e7cd7
...
...
@@ -503,8 +503,8 @@ let get_used_provers_with_stats session =
let
sf
=
try
Hashtbl
.
find
steplimits
lim_steps
with
Not_found
->
0
in
let
mf
=
try
Hashtbl
.
find
memlimits
lim_mem
with
Not_found
->
0
in
Hashtbl
.
replace
timelimits
lim_time
(
tf
+
1
);
Hashtbl
.
replace
steplimits
lim_
mem
(
sf
+
1
);
Hashtbl
.
replace
memlimits
lim_
steps
(
mf
+
1
))
Hashtbl
.
replace
steplimits
lim_
steps
(
sf
+
1
);
Hashtbl
.
replace
memlimits
lim_
mem
(
mf
+
1
))
session
;
prover_table
...
...
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