diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2000-02-15 10:32:35 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2000-02-15 10:32:35 +0000 |
| commit | 91d17ca758c3180de9d98607c77ab0a856c29a74 (patch) | |
| tree | 50828be9383fc121e48497077b76df1723048d05 | |
| parent | 005eba2464c71b33d9949aad5e11f75152f475c6 (diff) | |
Remplacement d'un Str.search_forward dont on ne voulait pas voir le résultat par
Str.string_match dont le résultat est utilisé.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2823 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | otherlibs/labltk/browser/editor.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/editor.ml b/otherlibs/labltk/browser/editor.ml index 624bd472b..3994a9894 100644 --- a/otherlibs/labltk/browser/editor.ml +++ b/otherlibs/labltk/browser/editor.ml @@ -141,7 +141,7 @@ let send_phrase txt = let i1,i2 = Text.tag_nextrange txt.tw tag:"sel" start:tstart in let phrase = Text.get txt.tw start:(i1,[]) end:(i2,[]) in sh#send phrase; - if Str.string_match phrase pat:(Str.regexp ";;") pos:0) + if Str.string_match phrase pat:(Str.regexp ";;") pos:0 then sh#send "\n" else sh#send ";;\n" with Not_found | Protocol.TkError _ -> let text = Text.get txt.tw start:tstart end:tend in |