remove call to 'time'
Please add to 6.1 release branch
(cherry picked from commit cdd06f108c
)
This commit is contained in:
parent
aa0e6dd09d
commit
26835dbb59
|
@ -1232,9 +1232,9 @@ added get-regions
|
|||
(define/augment (after-delete edit-start-pos change-length)
|
||||
;;(printf "(after-delete ~a ~a)\n" edit-start-pos change-length)
|
||||
(when misspelled-regions
|
||||
(time (interval-map-contract! misspelled-regions
|
||||
edit-start-pos
|
||||
(+ edit-start-pos change-length))))
|
||||
(interval-map-contract! misspelled-regions
|
||||
edit-start-pos
|
||||
(+ edit-start-pos change-length)))
|
||||
(do-insert/delete edit-start-pos (- change-length))
|
||||
(inner (void) after-delete edit-start-pos change-length))
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user