From 0b4cecfc87f602d6c133cea42a81da92e4e6212e Mon Sep 17 00:00:00 2001 From: Mario Carneiro Date: Sat, 27 May 2017 04:02:19 -0400 Subject: [PATCH] refactor(init/core): write std.priority.max in hex --- library/init/core.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/init/core.lean b/library/init/core.lean index a4975b8642..425ad2ec11 100644 --- a/library/init/core.lean +++ b/library/init/core.lean @@ -371,7 +371,7 @@ instance : has_one nat := ⟨nat.succ (nat.zero)⟩ instance : has_add nat := ⟨nat.add⟩ def std.priority.default : nat := 1000 -def std.priority.max : nat := 4294967295 +def std.priority.max : nat := 0xFFFFFFFF namespace nat protected def prio := std.priority.default + 100