@@ -156,15 +156,15 @@ let
156156    @test  all_sets_equal (
157157        continuous_events_toplevel .(
158158            [sys_bot, sys_bot_comp, sys_bot_ss, sys_mid1, sys_mid1_comp, sys_mid1_ss,
159-                  sys_mid2, sys_mid2_comp, sys_mid2_ss, sys_top, sys_top_comp, sys_top_ss])... ,
159+             sys_mid2, sys_mid2_comp, sys_mid2_ss, sys_top, sys_top_comp, sys_top_ss])... ,
160160        [mtk_cev])
161161    @test  all_sets_equal (
162162        discrete_events_toplevel .(
163163            [sys_bot, sys_bot_comp, sys_bot_ss, sys_mid1, sys_mid1_comp, sys_mid1_ss,
164-                  sys_mid2, sys_mid2_comp, sys_mid2_ss, sys_top, sys_top_comp, sys_top_ss])... ,
164+             sys_mid2, sys_mid2_comp, sys_mid2_ss, sys_top, sys_top_comp, sys_top_ss])... ,
165165        [mtk_dev])
166166    @test  all (sym_issubset (
167-                      continuous_events_toplevel (sys), get_continuous_events (sys))
167+                   continuous_events_toplevel (sys), get_continuous_events (sys))
168168    for  sys in  [sys_bot, sys_mid2, sys_mid1, sys_top])
169169    @test  all (sym_issubset (discrete_events_toplevel (sys), get_discrete_events (sys))
170170    for  sys in  [sys_bot, sys_mid2, sys_mid1, sys_top])
0 commit comments