diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/vector_dec.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/vector_dec.sail b/lib/vector_dec.sail index 7e2414de..de63c1a1 100644 --- a/lib/vector_dec.sail +++ b/lib/vector_dec.sail @@ -61,6 +61,7 @@ THIS`(v, n)` truncates `v`, keeping only the _most_ significant `n` bits. */ val truncateLSB = { ocaml: "vector_truncateLSB", + interpreter: "vector_truncateLSB", lem: "vector_truncateLSB", coq: "vector_truncateLSB", c: "sail_truncateLSB" |