diff options
| author | David Aspinall | 1999-11-11 16:00:13 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-11 16:00:13 +0000 |
| commit | d0de06e3f8412da49f8423c211653e76437ee689 (patch) | |
| tree | ee018c854b8573f3a4a2df9b3860737a566f3934 /generic | |
| parent | ee53106260209cd41f6eb014458f8ec37664453d (diff) | |
Removed debug instruction.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/generic/proof.el b/generic/proof.el index a1bc4586..3348912e 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -306,7 +306,6 @@ Returns new END value." (defun proof-response-buffer-display (str &optional face) "Display STR with FACE in response buffer and return fontified STR." - (ugit str) ;; FIXME: debug! (let (start end) (with-current-buffer proof-response-buffer ;; da: I've moved newline before the string itself, to match |