ivory-backend-aadl: pretty printer was missing a semicolon