diff --git a/src/test/resources/all/issues/silicon/0883.vpr b/src/test/resources/all/issues/silicon/0883.vpr
index 80afe569f..cb06b8d63 100644
--- a/src/test/resources/all/issues/silicon/0883.vpr
+++ b/src/test/resources/all/issues/silicon/0883.vpr
@@ -1,5 +1,6 @@
 field f: Int
 
+@moreJoins("2")
 method foo(x: Ref, xs: Set[Ref])
     requires forall r: Ref :: { r in xs } r in xs ==> acc(r.f)
 {