Opened 14 years ago
Closed 14 years ago
#330 closed defect (fixed)
Error raised by proof-issue-goal and proof-issue-save
| Reported by: | Erik Martin-Dorel | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | PG-Emacs-4.0 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: | erik.martin-dorel@… |
Description
When I run the function proof-issue-goal or proof-issue-save (e.g. by clicking on proof-toolbar-goal or proof-toolbar-qed), the requested command is well executed, except that the following error is raised:
progn: Wrong type argument: integer-or-marker-p, t
The bug is reproducible with the current CVS version of PG, with GNU-Emacs-23.2.1 & Coq-8.2pl2.
I think this bug comes from the presence of
"(goto-char" at the end of proof-issue-new-command.
Kind regards, Erik.
Change History (2)
comment:1 Changed 14 years ago by
| Cc: | erik.martin-dorel@… added |
|---|
comment:2 Changed 14 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
Fixed, many thanks for making the report.
(please note: this Trac does not send email, recommend not adding your email also as appears in the clear!)