diff --git a/sw/tools/generators/gen_flight_plan.ml b/sw/tools/generators/gen_flight_plan.ml index d5d931f5f3..7664314fac 100644 --- a/sw/tools/generators/gen_flight_plan.ml +++ b/sw/tools/generators/gen_flight_plan.ml @@ -384,6 +384,7 @@ let rec print_stage = fun index_of_waypoints x -> stage (); lprintf "%s = %s - 1;\n" v from_; lprintf "%s = %s;\n" to_var to_expr; + lprintf "INTENTIONAL_FALLTHRU\n"; left (); output_label f;