| commit | 45ad15305408c0ff41ac79e21aa4aae779726e76 | |
| author | cirdan <cirdansw@gmail.com> | |
| Mon, 4 Dec 2017 20:14:02 +0000 (4 21:14 +0100) | ||
| committer | cirdan <cirdansw@gmail.com> | |
| Mon, 4 Dec 2017 20:14:02 +0000 (4 21:14 +0100) | ||
| tree | 9f0461aa296a5028b56e5e1bb2b752d1876e20fa | treesnapshot (tar.gz zip) |
| parent | 955a7e1cc07af878953982e3e5f63ad0c5728b60 | commitdiff |
Define only a finite state machine for the dummy airport
There is no need to have a full AirportSpec for the dummy airport,
as only its finite state machine is ever used.
There is no need to have a full AirportSpec for the dummy airport,
as only its finite state machine is ever used.