diff --git a/src/test/resources/regressions/features/opaque/opaque-fac3.gobra b/src/test/resources/regressions/features/opaque/opaque-fac3.gobra
index 787d9d8de..68447ed0f 100644
--- a/src/test/resources/regressions/features/opaque/opaque-fac3.gobra
+++ b/src/test/resources/regressions/features/opaque/opaque-fac3.gobra
@@ -4,7 +4,7 @@
 package pkg
 
 ghost
-decreases
+decreases i
 opaque
 pure func fac(i int) int {
 	return i <= 1 ? 1 : i * (reveal fac(i - 1))