From ebac0e5cd9c95a7682b2bb1f7d3e62a1dabf942f Mon Sep 17 00:00:00 2001 From: Darren Ldl Date: Sun, 30 May 2021 21:46:00 +1000 Subject: [PATCH] Formatting --- desc-tests/span_tests.ml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/desc-tests/span_tests.ml b/desc-tests/span_tests.ml index 120dcf55..0a8744f6 100644 --- a/desc-tests/span_tests.ml +++ b/desc-tests/span_tests.ml @@ -141,7 +141,9 @@ module Alco = struct in 0 <= ns && ns < 1_000_000_000 - && Int64.add (Int64.mul (-10L) 1_000_000_000L) (Int64.of_int CCInt.min_int) + && Int64.add + (Int64.mul (-10L) 1_000_000_000L) + (Int64.of_int CCInt.min_int) = Int64.add (Int64.mul s 1_000_000_000L) (Int64.of_int ns)) true @@ -177,7 +179,9 @@ module Alco = struct in 0 <= ns && ns < 1_000_000_000 - && Int64.add (Int64.mul (-10L) 1_000_000_000L) (Int64.of_int CCInt.max_int) + && Int64.add + (Int64.mul (-10L) 1_000_000_000L) + (Int64.of_int CCInt.max_int) = Int64.add (Int64.mul s 1_000_000_000L) (Int64.of_int ns)) true