From 1504c287da8186c2c5c0df65f460aeaa152cf986 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 4 Jul 2019 15:32:27 +0100
Subject: Add coq builtin for concat_str (copied from mips prelude).

---
 lib/string.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/string.sail b/lib/string.sail
index 87e4da57..120600ca 100644
--- a/lib/string.sail
+++ b/lib/string.sail
@@ -9,7 +9,7 @@ overload operator == = {eq_string}
 
 infixl 9 ^-^
 
-val concat_str = {lem: "stringAppend", _: "concat_str"} : (string, string) -> string
+val concat_str = {coq: "String.append", lem: "stringAppend", _: "concat_str"} : (string, string) -> string
 
 val "dec_str" : int -> string
 
-- 
cgit v1.2.3