diff options
Diffstat (limited to 'test/c')
| -rw-r--r-- | test/c/list_test.sail | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/c/list_test.sail b/test/c/list_test.sail index c315d3bf..b89e0f47 100644 --- a/test/c/list_test.sail +++ b/test/c/list_test.sail @@ -20,8 +20,8 @@ val main : unit -> unit function main () = { let x : list(int) = [|1, 2, 3|]; - let y = hd(0 : int, x); + let y : int = hd(0, x); print_int("y = ", y); - print_int("hd(tl(x)) = ", hd(0, tl(x))); - print_int("hd(tl(tl(x))) = ", hd(0, tl(tl(x)))); + print_int("hd(tl(x)) = ", hd(0, tl(x)) : int); + print_int("hd(tl(tl(x))) = ", hd(0, tl(tl(x))) : int); }
\ No newline at end of file |