diff options
| author | Brian Campbell | 2018-05-17 12:12:02 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-17 12:12:02 +0100 |
| commit | c37130ba4ac69be6a298476b24b1f93811df4bb4 (patch) | |
| tree | 677f02c87d47f4ef354ad55a1a03b244651631d9 /mips/prelude.sail | |
| parent | fc99e8af769b98ffbc951b20c12fc9111f48cec5 (diff) | |
Clean up MIPS for HOL4 a little
Move mono_rewrites into lib
Diffstat (limited to 'mips/prelude.sail')
| -rw-r--r-- | mips/prelude.sail | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/mips/prelude.sail b/mips/prelude.sail index 5bb79f97..f805876a 100644 --- a/mips/prelude.sail +++ b/mips/prelude.sail @@ -310,5 +310,3 @@ val mask : forall 'm 'n , 'm >= 'n > 0 . bits('m) -> bits('n) function mask bs = bs['n - 1 .. 0] val "get_time_ns" : unit -> int - -$include <mono_rewrites.sail> |