From 64cec590e17d8457a424be3649395f48daffec23 Mon Sep 17 00:00:00 2001 From: Gautier Hattenberger Date: Fri, 9 Feb 2018 00:19:12 +0100 Subject: [PATCH] remove warning in FP for loop --- sw/tools/generators/gen_flight_plan.ml | 1 + 1 file changed, 1 insertion(+) 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;