Closed akaitoua closed 7 years ago
def project(index: Int, projected_meta : Option[java.util.List[String]], extended_meta : Option[MetaExtension], all_but_meta: Boolean, projected_regs : Option[java.util.List[String]], all_but_regs : Option[java.util.List[String]], extended_regs : Option[java.util.List[RegionFunction]] )
The API changed to: extended_meta : Option[List[MetaExtension]]
Would you include the changes in PythonAPI
No problem. I'll fix it asap
already fixed
def project(index: Int, projected_meta : Option[java.util.List[String]], extended_meta : Option[MetaExtension], all_but_meta: Boolean, projected_regs : Option[java.util.List[String]], all_but_regs : Option[java.util.List[String]], extended_regs : Option[java.util.List[RegionFunction]] )
The API changed to: extended_meta : Option[List[MetaExtension]]
Would you include the changes in PythonAPI