tree f50add3186dc841a0a9cf9521a72d6c658adf625
parent c1665b13b4cdd40641525996899ca46bbd3993b5
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1367272357 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1367272357 -0400

remove call to remove_gateway_router()