| commit | a1e5054d9145db07616b3a69c5fa04ae0376df34 | [log] [tgz] |
|---|---|---|
| author | Jarno Lamsa <jarno.lamsa@arm.com> | Wed Oct 02 12:44:36 2019 +0300 |
| committer | Jarno Lamsa <jarno.lamsa@arm.com> | Wed Oct 02 12:52:39 2019 +0300 |
| tree | 650203fab5b2d318b4c831241f18906d905c7442 | |
| parent | 77a0e07f807ecc91ad7284512bcf823f860c16b8 [diff] |
Fix issues in CI
diff --git a/include/mbedtls/platform_util.h b/include/mbedtls/platform_util.h index 95c13e1..f2aeffc 100644 --- a/include/mbedtls/platform_util.h +++ b/include/mbedtls/platform_util.h
@@ -230,7 +230,7 @@ * The generated number will be on range [0, num). * * \return The generated random number. - */ + */ uint32_t mbedtls_platform_random_in_range( size_t num ); #if defined(MBEDTLS_HAVE_TIME_DATE)