diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 12:56:47 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 12:56:47 +0000 |
| commit | fae3b18be1a7dc71cbfc31f922acd5e6f1089c81 (patch) | |
| tree | 85cd3316627b2bf5255887891bc3f7733185801a /lego | |
| parent | 9fb5af2617043f4e9e8439a029bb9e2677adff29 (diff) | |
Replaced proof-pbp-buffer with proof-goals-buffer.
Diffstat (limited to 'lego')
| -rw-r--r-- | lego/lego.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lego/lego.el b/lego/lego.el index a15c2581..30acd07e 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -325,7 +325,7 @@ Given is the first SPAN which needs to be undone." (let ((current-width ;; FIXME da: I suspect this is the wrong window to ;; check the width of. Probably we want the width - ;; of proof-pbp-buffer? + ;; of proof-goals-buffer? (window-width (get-buffer-window proof-shell-buffer)))) (if (equal current-width lego-shell-current-line-width) () ; else |