Opened 13 years ago
Closed 13 years ago
#404 closed defect (fixed)
Coq parse error with undelimited comment
Reported by: | coquser | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | PG-Emacs-4.1 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
open a new file a.v and put just a comment start (* into it. proof-assert-next-command-interactive gives then the error "number-or-marker-p, nil"
Hendrik
Note: See
TracTickets for help on using
tickets.
Fixed, thanks for report.