From 752b1fe51666166eb5f1df593edfa68324077af0 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Thu, 30 Jul 2015 17:43:39 -0400
Subject: Correct order of arguments to Regex.replace

---
 src/regex__FFI.urs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/regex__FFI.urs')

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
-- 
cgit v1.2.3