diff options
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/test1.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/test1.sail b/src/test/test1.sail index 8ae00d78..8143bf5d 100644 --- a/src/test/test1.sail +++ b/src/test/test1.sail @@ -45,7 +45,7 @@ typedef colors = enumerate { red; green; blue } let (colors) rgb = red -function bit enu (red) = 0 +function bit enu ((colors) red) = let (one, two) = (1,2) in 0 function bit main _ = {ignore(sw(0)); ignore((nat) v2); ignore(enu(0)); v1[0] } |