diff options
| author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-10-01 08:09:58 +0000 |
|---|---|---|
| committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-10-01 08:09:58 +0000 |
| commit | 15ad21a38bb5d2c00573ad4475de5a6f70eb5052 (patch) | |
| tree | dbd1271bde91289e315e8fc4bea9fcd2b0833f3f /otherlibs/labltk/browser | |
| parent | 7b7fae27fa081580d57fa1a57ca1072b9f1527a3 (diff) | |
Correction: la suppression du fichier préprocessé en cas d'erreur ne peut
avoir lieu que si le résultat du préprocesseur est un fichier binaire
"arbre de syntaxe" (typiquement produit par camlp4), sinon l'affichage
du message d'erreur se plante.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3817 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser')
0 files changed, 0 insertions, 0 deletions