Remove the message "Computing stack symbols" from the timings.

540c104c · POTTIER Francois · 331b29ab · 540c104c
Commit 540c104c authored Nov 21, 2020 by POTTIER Francois
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 3 deletions

src/StackSymbols.ml src/StackSymbols.ml +0 -3

No files found.
--- a/src/StackSymbols.ml
+++ b/src/StackSymbols.ml
@@ -56,9 +56,6 @@ module Run () = struct
  let stack_symbols (node : Lr1.node) : Symbol.t array =
    stack_symbols (Lr0.core (Lr1.state node))

-  let () =
-    Time.tick "Computing stack symbols"
-
  (* Printing. *)

  let buffer =