diff options
| -rw-r--r-- | emacs/caml-types.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/emacs/caml-types.el b/emacs/caml-types.el index 70d38bcce..bc4c82ba4 100644 --- a/emacs/caml-types.el +++ b/emacs/caml-types.el @@ -411,8 +411,7 @@ See `caml-types-location-re' for annotation file format. (unless (caml-types-not-in-file l-file r-file target-file) (setq annotation ()) (while (next-annotation) - (cond ((looking-at - "^\\([a-z]+\\)(\n \\(\\([^\n)]\\|.)\\|\n[^)]\\)*\\)\n)") + (cond ((looking-at "^\\([a-z]+\\)(\n \\(\\(.*\n \\)*.*\\)\n)") (let ((kind (caml-types-hcons (match-string 1) table)) (info (caml-types-hcons (match-string 2) table))) (setq annotation (cons (cons kind info) annotation)))))) |