@@ -18,7 +18,7 @@
<p>Does the following code terminate? And if so, under which conditions?</p>
<pre>
- char i, j; language-char i, j;
+ char i, j;
for (i = 0; i < 10, j < 5; i++, j++);
</pre>
@@ -186,4 +186,4 @@
</body>
-</html>
+</html>