# 6.A.9. TEST CASE, FLEETS MUST FOLLOW COAST IF NOT ON SEA
# If two provinces are adjacent, that does not mean that a fleet can move between those two provinces. An implementation that only holds one list of adjacent provinces for each province is incorrect.

unit Italy F Rome

---

Italy:
F Rome - Venice

---

# Move fails. An army can go from Rome to Venice, but a fleet cannot.
assert hold-order Rome