diff options
| author | Christopher Pulte | 2019-03-02 11:37:01 +0000 |
|---|---|---|
| committer | Christopher Pulte | 2019-03-02 11:37:01 +0000 |
| commit | 2f5d000a2175a230318ae4be920585db8491b6fb (patch) | |
| tree | ca6265f4c7ecdebb31eea9d62e432e1cda2eadbb /lib | |
| parent | 8e7138cded140de550cbb4d4f803d13d175b2d95 (diff) | |
| parent | 7584f2303718ef7d345a4ab32ed0ae1344be8816 (diff) | |
Merge branch 'sail2' of https://github.com/rems-project/sail into sail2
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. |