Use primitive iterator OfInt in Model#224
Open
merkste wants to merge 1 commit intoprismmodelchecker:masterfrom
Open
Use primitive iterator OfInt in Model#224merkste wants to merge 1 commit intoprismmodelchecker:masterfrom
merkste wants to merge 1 commit intoprismmodelchecker:masterfrom
