diff options
Diffstat (limited to 'test/c/config_register.sail')
| -rw-r--r-- | test/c/config_register.sail | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/c/config_register.sail b/test/c/config_register.sail index f4831ca5..8b41a3f4 100644 --- a/test/c/config_register.sail +++ b/test/c/config_register.sail @@ -2,8 +2,9 @@ default Order dec $include <prelude.sail> -function zeros forall 'n. (() : unit) -> bits('n) = { - sail_zeros('n) +val zeros : forall 'n, 'n >= 0. (implicit('n), unit) -> bits('n) +function zeros(n, _) = { + sail_zeros(n) } register configuration R : bits(32) = zeros() |