diff options
| author | Jon French <jf451@cam.ac.uk> | 2019-06-28 10:11:41 +0100 |
|---|---|---|
| committer | Jon French <jf451@cam.ac.uk> | 2019-06-28 10:11:52 +0100 |
| commit | 0fbfc08351dfdc2f57c57f78632ce9bef64d109a (patch) | |
| tree | 854372de5b013a46f09bd69d48f61bb20863edb2 | |
| parent | 2258d7d974a560a7bc385446d619047c542c6db1 (diff) | |
| download | sail-riscv-0fbfc08351dfdc2f57c57f78632ce9bef64d109a.zip sail-riscv-0fbfc08351dfdc2f57c57f78632ce9bef64d109a.tar.gz sail-riscv-0fbfc08351dfdc2f57c57f78632ce9bef64d109a.tar.bz2 | |
add interpreter extern for string_of_int
| -rw-r--r-- | model/prelude.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/prelude.sail b/model/prelude.sail index 819c789..cea3d52 100644 --- a/model/prelude.sail +++ b/model/prelude.sail @@ -57,7 +57,7 @@ function cast_unit_vec b = match b { bitone => 0b1 } -val string_of_int = {c: "string_of_int", ocaml: "string_of_int", lem: "stringFromInteger", coq: "string_of_int"} : int -> string +val string_of_int = {c: "string_of_int", ocaml: "string_of_int", interpreter: "string_of_int", lem: "stringFromInteger", coq: "string_of_int"} : int -> string val BitStr = "string_of_bits" : forall 'n. bits('n) -> string |