Closed har777 closed 1 month ago
createNondetElementsOverTwoHinter
createNondetElementsOverTenHinter
Yep.. noticed also it's finally not "n", also did this locally. I can't find out which Cairo file resulted in "n" instead of the 2 variables .. anyway
createNondetElementsOverTwoHinter
andcreateNondetElementsOverTenHinter
works