diff --git a/trunk/examples/programs/regression/c/NonterminatingForLoopSafe.c b/trunk/examples/programs/regression/c/NonterminatingForLoopSafe.c
index 56c6a0f7243..a392133cf73 100644
--- a/trunk/examples/programs/regression/c/NonterminatingForLoopSafe.c
+++ b/trunk/examples/programs/regression/c/NonterminatingForLoopSafe.c
@@ -10,9 +10,9 @@
 
 int main() {
 	int i = 5;
-	int x = 1;
+	int x = 0;
 	for (;;) {
-		i = i * x;
+		i = i + x;
 		//@ assert i == 5;
 	}
 }