From 2c7da9c7a6c6729f493399aeaae2ba93cd05b673 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 11 Mar 2021 20:06:07 +0000
Subject: [PATCH] hidden: Make NotchNumber a u32

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 src/hidden.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/hidden.rs b/src/hidden.rs
index 41cf2080..f76cd57e 100644
--- a/src/hidden.rs
+++ b/src/hidden.rs
@@ -189,7 +189,7 @@ mod vpid {
     }
   }
 
-  pub type NotchNumber = usize;
+  pub type NotchNumber = u32;
 
   define_index_type!{
     pub struct Notch = NotchNumber;
@@ -503,7 +503,7 @@ fn inner(
     then {
       occultation.views.get_kind(player)
         .map_displaced(|area| {
-          let x: Coord = NotchNumber::from(notch).try_into().unwrap(); // xxx
+          let x: Coord = notch.index().try_into().unwrap(); // xxx
           let pos = area.0[0] + PosC([x*2, 0]); // xxx
           pos.unwrap()
         })
-- 
2.30.2