diff options
| author | Brian Campbell | 2019-03-01 18:19:27 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-01 18:19:36 +0000 |
| commit | a3558b92aa7395b2c841c737d867bbe02c848e03 (patch) | |
| tree | ef6453108cc5f45c56d39de46f02a2f54945d765 /lib | |
| parent | 3e2cd8de57d4bc865f6b8299dd4e5689b5e8b875 (diff) | |
Coq: some library compatibility changes
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. |