aboutsummaryrefslogtreecommitdiff
path: root/UTF8.ml
diff options
context:
space:
mode:
Diffstat (limited to 'UTF8.ml')
-rwxr-xr-xUTF8.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/UTF8.ml b/UTF8.ml
index fa02040..a955b1e 100755
--- a/UTF8.ml
+++ b/UTF8.ml
@@ -21,6 +21,8 @@ let split str ~sep =
| [] -> ""
| hd::tl -> hd
+let replace text patt repl = Text.replace text ~patt ~repl
+
module Buffer = struct
include Buffer