diff options
Diffstat (limited to 'src/test/test4.sail')
| -rw-r--r-- | src/test/test4.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/test4.sail b/src/test/test4.sail index 36cb271a..fa0133ca 100644 --- a/src/test/test4.sail +++ b/src/test/test4.sail @@ -1,5 +1,5 @@ (* hack to display log messages. Syntax: LOG(0) := "log message"; *) -val extern forall Type 'a . nat -> 'a effect { wmem , rmem } LOG +val extern forall Type 'a . (nat, 'a) -> unit effect { wmem } LOG register (bit[1]) GPR0 register (bit[1]) GPR1 |