summaryrefslogtreecommitdiff
path: root/src/regex.urs
diff options
context:
space:
mode:
Diffstat (limited to 'src/regex.urs')
-rw-r--r--src/regex.urs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/regex.urs b/src/regex.urs
index 9d2ad25..bd7696b 100644
--- a/src/regex.urs
+++ b/src/regex.urs
@@ -28,6 +28,6 @@ val 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