From a7dfa33d455b0e45f154690c90666ba794a93ecc Mon Sep 17 00:00:00 2001
From: Hanno Braun <hanno@braun-odw.eu>
Date: Fri, 23 Sep 2022 16:10:23 +0200
Subject: [PATCH] Integrate `PartialHalfEdge` into `partial` infra

---
 crates/fj-kernel/src/partial/mod.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/crates/fj-kernel/src/partial/mod.rs b/crates/fj-kernel/src/partial/mod.rs
index ad541da95e..6b8fca4fb1 100644
--- a/crates/fj-kernel/src/partial/mod.rs
+++ b/crates/fj-kernel/src/partial/mod.rs
@@ -37,7 +37,8 @@ pub use self::{
 
 use crate::{
     objects::{
-        Curve, GlobalCurve, GlobalEdge, GlobalVertex, SurfaceVertex, Vertex,
+        Curve, GlobalCurve, GlobalEdge, GlobalVertex, HalfEdge, SurfaceVertex,
+        Vertex,
     },
     stores::{Handle, Stores},
 };
@@ -119,6 +120,7 @@ impl_traits!(
     Curve, PartialCurve;
     GlobalEdge, PartialGlobalEdge;
     GlobalVertex, PartialGlobalVertex;
+    HalfEdge, PartialHalfEdge;
     SurfaceVertex, PartialSurfaceVertex;
     Vertex, PartialVertex;