diff options
author | Didier Rémy <Didier.Remy@inria.fr> | 2003-09-05 18:01:46 +0000 |
---|---|---|
committer | Didier Rémy <Didier.Remy@inria.fr> | 2003-09-05 18:01:46 +0000 |
commit | 5e6d9962597a15468bfa72ae72b2fe7ccaf145b8 (patch) | |
tree | 4c6cb0a4d6566ddf7a71968e4bc3cb0a36e1263e /win32caml/ocaml.c | |
parent | d10e45fd950db9954d313b1caae0430190282f0d (diff) |
Fix hilitghting of largest well-typed expr surrounding point.
Cancel exploration outside of this region.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5824 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'win32caml/ocaml.c')
0 files changed, 0 insertions, 0 deletions