diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-03-07 15:16:55 -0800 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-03-07 15:16:55 -0800 |
| commit | aef9f931e79729c1b6814c13a0598c25839dc0e2 (patch) | |
| tree | ed46614f75cb0c5e3f3f476fd9914074baf5f107 /model/prelude.sail | |
| parent | 6e9bf2c5fb774d58eda16a24c827cc3d6d5f6a8d (diff) | |
| download | sail-riscv-aef9f931e79729c1b6814c13a0598c25839dc0e2.zip sail-riscv-aef9f931e79729c1b6814c13a0598c25839dc0e2.tar.gz sail-riscv-aef9f931e79729c1b6814c13a0598c25839dc0e2.tar.bz2 | |
Minor prelude cleanup.
Diffstat (limited to 'model/prelude.sail')
| -rw-r--r-- | model/prelude.sail | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/model/prelude.sail b/model/prelude.sail index 1f180da..67637d2 100644 --- a/model/prelude.sail +++ b/model/prelude.sail @@ -101,8 +101,6 @@ overload min = {min_nat, min_int} overload max = {max_nat, max_int} -val replicate_bits = "replicate_bits" : forall 'n 'm, 'm >= 0. (bits('n), atom('m)) -> bits('n * 'm) - val pow2 = "pow2" : forall 'n. atom('n) -> atom(2 ^ 'n) val print = "print_endline" : string -> unit |