diff options
| author | Luc Maranget <luc.maranget@inria.fr> | 2010-01-25 14:52:00 +0000 |
|---|---|---|
| committer | Luc Maranget <luc.maranget@inria.fr> | 2010-01-25 14:52:00 +0000 |
| commit | e7ada9b93a02d39cd62f6fd7d9f629429ef51273 (patch) | |
| tree | 0d5771c12e6ab43afb23e5976c1ab35686a66b30 /emacs | |
| parent | 924e832b687e914f4173bb52ec39806b1b6192a8 (diff) | |
| download | ocaml-jo311.tar.gz | |
Preparing relase 3.11.2jo311
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/jo311@9590 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'emacs')
| -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)))) |