Commit 2a47e428 authored by Asma Tafat-Bouzid's avatar Asma Tafat-Bouzid
Browse files

Latex statistics

parent f7544e06
......@@ -307,7 +307,6 @@ let rec provers_latex_stats provers depth g =
Hashtbl.iter (fun p a-> Hashtbl.replace provers p a.M.prover) proofs;
let tr = M.transformations g in
Hashtbl.iter (fun _st tr ->
depth := !depth + 1;
let goals = tr.M.subgoals in
List.iter (provers_latex_stats provers depth) goals) tr
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