diff --git a/tests/sprint2/test/sp2_llnode.alpha b/tests/sprint2/test/sp2_llnode.alpha index 880ca0b..6b4912e 100644 --- a/tests/sprint2/test/sp2_llnode.alpha +++ b/tests/sprint2/test/sp2_llnode.alpha @@ -2,7 +2,7 @@ type rec: [integer: x; integer: y] type T1: integer -> integer type T2: rec -> integer -type llnode: [address: prev; integer: val; address: next] +type llnode: [llnode: prev; integer: val; llnode: next] type list: integer -> llnode function foo : T1