diff options
Diffstat (limited to 'lego')
-rw-r--r-- | lego/lego.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lego/lego.el b/lego/lego.el index 457f64e3..55b5fe98 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -453,6 +453,7 @@ We assume that module identifiers coincide with file names." proof-shell-field-char ?\374 proof-shell-goal-char ?\375 proof-shell-eager-annotation-start "\376" + proof-shell-eager-annotation-start-length 1 proof-shell-eager-annotation-end "\377" proof-shell-annotated-prompt-regexp "Lego> \371" proof-shell-result-start "\372 Pbp result \373" |