Add coq builtin for concat_str (copied from mips prelude).

Trolldemorted · Jul 4, 2019 · 1504c28 · 1504c28
1 parent da307c6
commit 1504c28
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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