diff options
Diffstat (limited to 'lib/vector_dec.sail')
| -rw-r--r-- | lib/vector_dec.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/vector_dec.sail b/lib/vector_dec.sail index 166db243..8c6426d4 100644 --- a/lib/vector_dec.sail +++ b/lib/vector_dec.sail @@ -166,6 +166,6 @@ val signed = { _: "sint" } : forall 'n, 'n > 0. bits('n) -> range(- (2 ^ ('n - 1)), 2 ^ ('n - 1) - 1) -overload __size = {length} +overload __size = {__id, length} $endif |