[nongnu] externals/caml 8fc9a47 117/197: amelioration des annotations

[Stefan Monnier]

branch: externals/caml
commit 8fc9a478adf08c5e93b0646be6b12e1b6d0220bb
Author: Damien Doligez <damien.doligez-inria.fr>
Commit: Damien Doligez <damien.doligez-inria.fr>

    amelioration des annotations
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8959 
f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 caml-types.el | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

diff --git a/caml-types.el b/caml-types.el
index ef1a386..44f09a0 100644
--- a/caml-types.el
+++ b/caml-types.el
@@ -192,10 +192,8 @@ See `caml-types-location-re' for annotation file format.
          (target-line (1+ (count-lines (point-min)
                                        (caml-line-beginning-position))))
          (target-bol (caml-line-beginning-position))
-         (target-cnum (point))
-         (type-file (concat (file-name-sans-extension (buffer-file-name))
-                            ".annot")))
-    (caml-types-preprocess type-file)
+         (target-cnum (point)))
+    (caml-types-preprocess (buffer-file-name))
     (setq caml-types-buffer (get-buffer-create caml-types-buffer-name))
     (let* ((targ-loc (vector target-file target-line target-bol target-cnum))
            (node (caml-types-find-location targ-loc "call" ()
@@ -240,10 +238,8 @@ See `caml-types-location-re' for annotation file format.
          (target-line (1+ (count-lines (point-min)
                                        (caml-line-beginning-position))))
          (target-bol (caml-line-beginning-position))
-         (target-cnum (point))
-         (type-file (concat (file-name-sans-extension (buffer-file-name))
-                            ".annot")))
-    (caml-types-preprocess type-file)
+         (target-cnum (point)))
+    (caml-types-preprocess (buffer-file-name))
     (setq caml-types-buffer (get-buffer-create caml-types-buffer-name))
     (let* ((targ-loc (vector target-file target-line target-bol target-cnum))
            (node (caml-types-find-location targ-loc "ident" ()