fix a bug of gussed type.
This commit is contained in:
parent
7e9d992def
commit
09d465c428
@ -80,7 +80,7 @@
|
||||
(goto-char (point-min))
|
||||
(when (re-search-forward "Inferred type: " nil t)
|
||||
(delete-region (point-min) (point)))
|
||||
(when (re-search-forward "forall [^.]+\\. " nil t)
|
||||
(when (re-search-forward " forall [^.]+\\." nil t)
|
||||
(replace-match ""))
|
||||
(while (re-search-forward "\0 +" nil t)
|
||||
(replace-match " "))
|
||||
|
Loading…
Reference in New Issue
Block a user