From 445ed267c10c9ddffa7d4173e03689ecce05d407 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 23 Feb 2018 15:32:45 -0500 Subject: Fix a typo --- src/Util/ZRange/Operations.v | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Util/ZRange') diff --git a/src/Util/ZRange/Operations.v b/src/Util/ZRange/Operations.v index a127568cf..8f597eced 100644 --- a/src/Util/ZRange/Operations.v +++ b/src/Util/ZRange/Operations.v @@ -55,12 +55,12 @@ Module ZRange. union (four_corners (f lx) y z) (four_corners (f ux) y z). - Definition upper_lor_and_bounds (x y : BinInt.Z) : BinInt.Z + Definition upper_lor_land_bounds (x y : BinInt.Z) : BinInt.Z := 2^(1 + Z.log2_up (Z.max x y)). Definition extreme_lor_land_bounds (x y : zrange) : zrange := let mx := ZRange.upper (ZRange.abs x) in let my := ZRange.upper (ZRange.abs y) in - {| lower := -upper_lor_and_bounds mx my ; upper := upper_lor_and_bounds mx my |}. + {| lower := -upper_lor_land_bounds mx my ; upper := upper_lor_land_bounds mx my |}. Definition extremization_bounds (f : zrange -> zrange -> zrange) (x y : zrange) : zrange := let (lx, ux) := x in let (ly, uy) := y in -- cgit v1.2.3