From a3558b92aa7395b2c841c737d867bbe02c848e03 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Fri, 1 Mar 2019 18:19:27 +0000
Subject: Coq: some library compatibility changes

---
 lib/coq/Sail2_string.v | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib')

diff --git a/lib/coq/Sail2_string.v b/lib/coq/Sail2_string.v
index 0a00f8d7..543b0fad 100644
--- a/lib/coq/Sail2_string.v
+++ b/lib/coq/Sail2_string.v
@@ -188,3 +188,6 @@ Definition decimal_string_of_bv {a} `{Bitvector a} (bv : a) : string :=
 Definition decimal_string_of_bits {n} (bv : mword n) : string := decimal_string_of_bv bv.
 
 
+(* Some aliases for compatibility. *)
+Definition dec_str := string_of_int.
+Definition concat_str := String.append.
-- 
cgit v1.2.3