diff --git a/collects/parser-tools/private-yacc/lalr.ss b/collects/parser-tools/private-yacc/lalr.ss index b4a975b..4203d4c 100644 --- a/collects/parser-tools/private-yacc/lalr.ss +++ b/collects/parser-tools/private-yacc/lalr.ss @@ -41,14 +41,13 @@ (define (compute-read a g) (let* ((dr (compute-DR a g)) (reads (compute-reads a g))) - (time (digraph-tk->terml (send a get-mapped-non-term-keys) reads dr (send a get-num-states) (send g get-num-terms) (send g get-num-non-terms)))) - ) + ; ;; run-lr0-backward: lr0-automaton * gram-sym list * kernel * int -> kernel list ; ;; returns the list of all k such that state k transitions to state start on the ; ;; transitions in rhs (in order) diff --git a/collects/parser-tools/private-yacc/table.ss b/collects/parser-tools/private-yacc/table.ss index 111230c..b9d7443 100644 --- a/collects/parser-tools/private-yacc/table.ss +++ b/collects/parser-tools/private-yacc/table.ss @@ -239,7 +239,7 @@ (array2d-set! v i1 i2 (cons a old)))) (else (if (not (equal? a old)) (array2d-set! v i1 i2 (list a old)))))))) - (get-lookahead (time (compute-LA a g)))) + (get-lookahead (compute-LA a g))) (send a for-each-state (lambda (state)