diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/mono/itself_rewriting.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/mono/itself_rewriting.sail b/test/mono/itself_rewriting.sail index dfc76cf9..912cb99d 100644 --- a/test/mono/itself_rewriting.sail +++ b/test/mono/itself_rewriting.sail @@ -79,7 +79,7 @@ val test_execute : unit -> unit function test_execute() = { let exp = 4; - let datasize = shl_int(1, exp); + let 'datasize = shl_int(1, exp); execute(datasize) } |