InterpreterShip: fix bug that caused ships with no input docks to not be serviced
[fleet.git] / bee2-selectmap / main_counterexample_map1.v
2009-06-14 megaczadd bee2-selectmap, to be dealt with later