Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 50a9b62a authored by Andrei Paskevich's avatar Andrei Paskevich

Session: fix a typo

parent 0b6958bd
......@@ -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))
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