From 39d9c58faf18f3f56f1b4c907f7e78018cd45d32 Mon Sep 17 00:00:00 2001 From: Victor Dumitrescu Date: Fri, 28 Apr 2023 16:47:07 +0200 Subject: [PATCH] Lib_bls12_381_signature/tests: fix tests declaration --- .../test/test_aggregated_signature.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/lib_bls12_381_signature/test/test_aggregated_signature.ml b/src/lib_bls12_381_signature/test/test_aggregated_signature.ml index 49f4e3019a96..4661d9aac01a 100644 --- a/src/lib_bls12_381_signature/test/test_aggregated_signature.ml +++ b/src/lib_bls12_381_signature/test/test_aggregated_signature.ml @@ -455,9 +455,9 @@ let () = in let minsig_tests = [ - MinPkTest.BasicProperties.get_tests (); - MinPkTest.AugProperties.get_tests (); - MinPkTest.PopProperties.get_tests (); + MinSigTest.BasicProperties.get_tests (); + MinSigTest.AugProperties.get_tests (); + MinSigTest.PopProperties.get_tests (); ] in let minsig_tests = -- GitLab