Skip to content

Alias tools fix

jesse requested to merge alias_tools_fix into casadi3

Alias dict modifies the __iter__() method behaviour significantly. Here is my proposal to fix it.

Edited by jesse

Merge request reports