33,34d32
< max_port_rank = 0
<
43,45d40
< if self.pairs.has_key("rank"):
< InPortDeclAST.max_port_rank = max(self.pairs["rank"],
< InPortDeclAST.max_port_rank)
123,125d117
<
< # Include max_rank to be used by StateMachine.py
< in_port["max_port_rank"] = InPortDeclAST.max_port_rank