Commit 5118336b authored by filatov's avatar filatov
Browse files

fix compilation bug

parent d86b45cb
Loading
Loading
Loading
Loading
+3 −4
Original line number Diff line number Diff line
@@ -1615,10 +1615,9 @@ module ItsSecurity_TestCases {
                        // Send secured message signed with certificate_chain
                        f_sendSecuredCam(
                            cc_taCert_A1,
                            {
                            omit,
							e_certificate_chain
                            });
                        );
                        
                        f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    }