tree d35c611b8db62be651da80e25cd211b3df43bab9
parent ee5464fab91cf6b6aad15d83b71a7deb28062008
author Dave Rodgman <dave.rodgman@arm.com> 1695233135 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1695233391 +0100

Correct use of mbedtls_ct_mpi_uint_if_else_0

Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>