Add missing termination measure to test

viperproject · Feb 3, 2024 · 641cacb · 641cacb
1 parent c6ffaa9
commit 641cacb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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))