diff --git a/checks/CheckTest.hs b/checks/CheckTest.hs
index 3e4aa59..dc9b1e9 100644
--- a/checks/CheckTest.hs
+++ b/checks/CheckTest.hs
@@ -28,7 +28,7 @@ import TestUtils
 
 wrapProcSeq :: A.Structured A.Process -> A.AST
 wrapProcSeq x = A.Spec emptyMeta (A.Specification emptyMeta (simpleName "foo")
-  $ A.Proc emptyMeta A.PlainSpec [] $ A.Seq emptyMeta x) (A.Only emptyMeta ())
+  $ A.Proc emptyMeta A.PlainSpec [] $ A.Seq emptyMeta x) (A.Several emptyMeta [])
 
 testUnusedVar :: Test
 testUnusedVar = TestList