diff options
| author | Pierre Courtieu | 2018-12-20 14:42:21 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2018-12-20 14:42:21 +0100 |
| commit | ebb55c998867fd13f8767a52a9542447347f7dc1 (patch) | |
| tree | a2419396d62c3342e73e44099b8745d3201d09c7 /obsolete | |
| parent | 0c9565d4d69a94cf33db5f98b381c3332709aa1e (diff) | |
| parent | 883ce2ff1092003b6341cfebd1d7b2ab31239a41 (diff) | |
Merge branch 'master' of github.com:ProofGeneral/PG
Diffstat (limited to 'obsolete')
| -rw-r--r-- | obsolete/plastic/plastic.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/obsolete/plastic/plastic.el b/obsolete/plastic/plastic.el index cf69a731..39f6c01f 100644 --- a/obsolete/plastic/plastic.el +++ b/obsolete/plastic/plastic.el @@ -546,8 +546,8 @@ For Plastic, we assume that module identifiers coincide with file names." (aset string i ?\ ) (cl-incf i) ))) (keep-rest (lambda () - (loop for x in (string-to-list plastic-lit-string) - do (aset string i ?\ ) (cl-incf i)) + (cl-loop for x in (string-to-list plastic-lit-string) + do (aset string i ?\ ) (cl-incf i)) (while (and (< i l) (/= (aref string i) ?\n) (/= (aref string i) ?-)) |