diff options
Diffstat (limited to 'emacs/caml-types.el')
| -rw-r--r-- | emacs/caml-types.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/emacs/caml-types.el b/emacs/caml-types.el index 44f09a031e..05b1a2c0a6 100644 --- a/emacs/caml-types.el +++ b/emacs/caml-types.el @@ -256,9 +256,9 @@ See `caml-types-location-re' for annotation file format. (let* ((loc-re (concat caml-types-position-re " " caml-types-position-re)) (end-re (concat caml-types-position-re " --")) - (def-re (concat "def \\([^ ]\\)* " loc-re)) - (def-end-re (concat "def \\([^ ]\\)* " end-re)) - (internal-re (concat "int_ref \\([^ ]\\)* " loc-re)) + (def-re (concat "def \\([^ ]*\\) " loc-re)) + (def-end-re (concat "def \\([^ ]*\\) " end-re)) + (internal-re (concat "int_ref \\([^ ]*\\) " loc-re)) (external-re "ext_ref \\(.*\\)")) (cond ((string-match def-re kind) @@ -359,7 +359,7 @@ See `caml-types-location-re' for annotation file format. (expand-file-name "_build" project-dir))))) (if (equal project-dir (parent-dir project-dir)) (error (concat "No annotation file. " - "You should compile with option \"-dtypes\"."))) + "You should compile with option \"-annot\"."))) (setq project-dir (parent-dir project-dir))) type-path)))) |