diff options
Diffstat (limited to 'phox/phox-fun.el')
| -rw-r--r-- | phox/phox-fun.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/phox/phox-fun.el b/phox/phox-fun.el index 6cf8fc4b..22d3e717 100644 --- a/phox/phox-fun.el +++ b/phox/phox-fun.el @@ -240,7 +240,6 @@ or for optional argument TABLE." "Process until the end of the next unprocessed command after point. If inside a comment, just process until the start of the comment." (interactive) - (message "test") (if (and (> (point) 1) (char-equal (char-before (point)) ?\.)) (insert "\n")) (proof-with-script-buffer (proof-maybe-save-point |