diff options
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/test3.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/test3.sail b/src/test/test3.sail index 98ebb2d6..5e9ba2df 100644 --- a/src/test/test3.sail +++ b/src/test/test3.sail @@ -48,7 +48,7 @@ function nat main _ = { (* extern calls *) dummy_reg := 3 + 39; - dummy_reg := (deinfix +)(5, 37); + (*dummy_reg := (deinfix +)(5, 37);*) (* casts and external calls *) dummy_reg := 0b01 + 0b01; dummy_reg2 := 0b00000001; |