From fb19ce2ab6eba4df8d1efddbf735f15baf001af6 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 27 Feb 2021 11:48:48 +0000
Subject: [PATCH] Move OccK into prelude

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

diff --git a/src/hidden.rs b/src/hidden.rs
index 173fc000..dd1dde58 100644
--- a/src/hidden.rs
+++ b/src/hidden.rs
@@ -6,7 +6,6 @@ use crate::prelude::*;
 
 use slotmap::secondary;
 
-type OccK = OccultationKind;
 type ONI = OldNewIndex;
 
 visible_slotmap_key!{ OccId(b'H') }
diff --git a/src/prelude.rs b/src/prelude.rs
index ec5007b9..9b929986 100644
--- a/src/prelude.rs
+++ b/src/prelude.rs
@@ -144,6 +144,9 @@ pub type POEPP = PieceOpErrorPartiallyProcessed;
 pub type SvgE = SVGProcessingError;
 pub type SpE = SpecError;
 
+// hidden.rs
+pub type OccK = OccultationKind;
+
 // updates.rs
 pub type PUE = PreparedUpdateEntry;
 pub type PUFOS = PieceUpdateFromOpSimple;
-- 
2.30.2