I know it’s not such tricky thing, but to have in mind…
There are two solutions to originate 0.0.0.0/0 in EIGRP:
- (My preferred one) Static 0.0.0.0 0.0.0.0 pointing to an Interface (not next-hop) + network 0.0.0.0
This way, there is no need of “auto-summary”, so you can use it switched off. - Static 0.0.0.0 0.0.0.0 pointing to next-hop + “auto-summary” + “ip default-network“