diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-04 08:39:56 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-04 08:39:56 +0000 |
commit | a3397a0cdd8af9f9cde954b3647a45476df91439 (patch) | |
tree | e1fd96ca46c45da16b2c2b6877911eea37cae620 /phox | |
parent | 2caea10ae59fa63882ed60cb92a6d4250832e0ba (diff) |
Remove proof-no-command
Diffstat (limited to 'phox')
-rw-r--r-- | phox/phox-fun.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/phox/phox-fun.el b/phox/phox-fun.el index 6471f3d4..82531470 100644 --- a/phox/phox-fun.el +++ b/phox/phox-fun.el @@ -243,7 +243,7 @@ or for optional argument TABLE." (setq lsp (span-start span)) (setq span (next-span span 'type))) - (or ans proof-no-command))) + ans)) ; was (or ans proof-no-command) ;; ;; Doing commands |