Opened 9 years ago

Closed 9 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:


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"


Change History (1)

comment:1 Changed 9 years ago by David Aspinall

Resolution: fixed
Status: newclosed

Fixed, thanks for report.

Note: See TracTickets for help on using tickets.