Revert "thing that needs to be reverted"

This reverts commit 6dedd87260.
This commit is contained in:
Yoshman29
2022-10-13 23:18:54 +02:00
parent 6dedd87260
commit 4b5baa9b5f
8 changed files with 26 additions and 84 deletions
+1 -1
View File
@@ -1078,7 +1078,7 @@ class Checker {
return et;
default:
}
case EFor(k, v, it, e):
case EFor(v, it, e):
var locals = saveLocals();
var itt = typeExpr(it, Value);
var vt = switch( follow(itt) ) {