summaryrefslogtreecommitdiff
path: root/src/regex__FFI.urs
diff options
context:
space:
mode:
Diffstat (limited to 'src/regex__FFI.urs')
-rw-r--r--src/regex__FFI.urs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/regex__FFI.urs b/src/regex__FFI.urs
index f01a27e..0f10052 100644
--- a/src/regex__FFI.urs
+++ b/src/regex__FFI.urs
@@ -32,6 +32,6 @@ val do_match : string (* needle *)
(* Replaces all substrings in 'haystack' that match 'needle' with the string
'replacement.' *)
val replace : string (* needle *)
- -> string (* haystack *)
-> string (* replacement *)
+ -> string (* haystack *)
-> string