Fix typo in "Property based tests tests"

diff --git a/tests/self.c b/tests/self.c
index ef3847e2952d2a7684e97144dd9f13909105f438..59d98bd48d4c37beae40d860ede750a905ca6b9f 100644 (file)
--- a/tests/self.c
+++ b/tests/self.c
@@ -607,8 +607,8 @@ int main(void)
     status |= TEST(ed25519_sign, 3);
     status |= test_x25519();
 
-    printf("\nProperty based tests tests");
-    printf("\n--------------------------\n");
+    printf("\nProperty based tests");
+    printf("\n--------------------\n");
     status |= p_chacha20();
     status |= p_chacha20_set_ctr();
     status |= p_poly1305();