diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/coq/Sail2_string.v | 3 |
1 files changed, 3 insertions, 0 deletions
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. |