Didn't mean to remove that

This commit is contained in:
Victorious3 2023-01-24 12:17:21 +01:00
parent a26f466471
commit 8250f0cb51

View File

@ -643,7 +643,7 @@ public class ASTToTargetAST {
}
void eliminateCyclesAndInfima(Set<ResultPair<?, ?>> input) {
//eliminateCycles(input);
eliminateCycles(input);
eliminateInfima(input);
}