diff options
| author | Gabriel Kerneis | 2013-11-20 16:34:47 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-11-20 16:34:47 +0000 |
| commit | 49cb64787f6a3df07b42baa373623270f3111993 (patch) | |
| tree | 2a51874b0417781758ea702f07a2b005b337c708 /src/test/test3.sail | |
| parent | 8ff822e12dde0001c6b6ad7a8597c40349e4cc9b (diff) | |
Remove workaround in test3
Diffstat (limited to 'src/test/test3.sail')
| -rw-r--r-- | src/test/test3.sail | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/test/test3.sail b/src/test/test3.sail index 8d0d9056..4a216467 100644 --- a/src/test/test3.sail +++ b/src/test/test3.sail @@ -30,11 +30,10 @@ function nat main _ = { MEM(1); MEM_GPU(0) := 3; MEM_GPU(0); - (* extra-parentheses are needed here *) - MEM_SIZE( (0,1) ) := 4; - MEM_SIZE( (0,1) ); + MEM_SIZE(0,1) := 4; + MEM_SIZE(0,1); (* extern calls *) 3 + 39; - add((5, 37)); + add(5, 37); } |