mexico-city-renaming: fixed broken sinaloa_sgx.rs
@@ -503,8 +503,6 @@ pub mod sinaloa_sgx {
result, ret
);
Err(SinaloaError::EnclaveCallError("runtime_manager_init_session_manager_enc"))
- result, ret
- );
}
}
