From 6ee14bf17f11ee222c798a60924e849d5404be00 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Mon, 16 Sep 2013 18:15:32 -0700 Subject: [PATCH] Use unsigned short for the type of interval::bound_deps --- src/interval/interval.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/interval/interval.h b/src/interval/interval.h index b61a25ade..eef79c82d 100644 --- a/src/interval/interval.h +++ b/src/interval/interval.h @@ -16,7 +16,7 @@ namespace lean { #define DEP_IN_LOWER2 4 #define DEP_IN_UPPER2 8 -typedef short bound_deps; +typedef unsigned short bound_deps; inline bool dep_in_lower1(bound_deps d) { return (d & DEP_IN_LOWER1) != 0; } inline bool dep_in_lower2(bound_deps d) { return (d & DEP_IN_LOWER2) != 0; } inline bool dep_in_upper1(bound_deps d) { return (d & DEP_IN_UPPER1) != 0; }