Commit 6117979f authored by garciay's avatar garciay
Browse files

Rebuild with TCT3Rebuild LibIts with TCT3

parent 63449bfa
Loading
Loading
Loading
Loading
+2 −2
Original line number Original line Diff line number Diff line
@@ -849,8 +849,8 @@ module LibItsSecurity_Functions {
                                                in template (value) Certificate p_cert,
                                                in template (value) Certificate p_cert,
                                                out SignerInfo p_si
                                                out SignerInfo p_si
            ) return boolean {
            ) return boolean {
                if (isbound(valueof(p_cert).signer_info)) {
                if (isbound(valueof(p_cert.signer_info))) {
                    p_si := valueof(p_cert).signer_info;
                    p_si := valueof(p_cert.signer_info);
                    return true;
                    return true;
                }
                }
                return false;
                return false;