diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2015-07-30 17:43:39 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-07-30 17:43:39 -0400 |
commit | 752b1fe51666166eb5f1df593edfa68324077af0 (patch) | |
tree | c13eaec2a50cd855cb04bafe4c5cf56405c0ffbf /src/regex__FFI.urs | |
parent | 655f2bc59e11ccd16229f2e7474b013e585192fb (diff) |
Correct order of arguments to Regex.replace
Diffstat (limited to 'src/regex__FFI.urs')
-rw-r--r-- | src/regex__FFI.urs | 2 |
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 |