From 71e3678dac7d87653c510bfa8ce647bd2a3e9269 Mon Sep 17 00:00:00 2001
From: Hanno Braun <hanno@braun-odw.eu>
Date: Thu, 2 Mar 2023 15:46:42 +0100
Subject: [PATCH] Rename `GlobalVertexBuilder` to `VertexBuilder`

---
 crates/fj-kernel/src/builder/mod.rs    | 2 +-
 crates/fj-kernel/src/builder/vertex.rs | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/crates/fj-kernel/src/builder/mod.rs b/crates/fj-kernel/src/builder/mod.rs
index a63837d4b..4c0def19b 100644
--- a/crates/fj-kernel/src/builder/mod.rs
+++ b/crates/fj-kernel/src/builder/mod.rs
@@ -20,7 +20,7 @@ pub use self::{
     sketch::SketchBuilder,
     solid::SolidBuilder,
     surface::SurfaceBuilder,
-    vertex::GlobalVertexBuilder,
+    vertex::VertexBuilder,
 };
 
 /// Pass objects to a builder method
diff --git a/crates/fj-kernel/src/builder/vertex.rs b/crates/fj-kernel/src/builder/vertex.rs
index e36413df5..c82c42411 100644
--- a/crates/fj-kernel/src/builder/vertex.rs
+++ b/crates/fj-kernel/src/builder/vertex.rs
@@ -1,9 +1,9 @@
 use crate::partial::PartialVertex;
 
 /// Builder API for [`PartialVertex`]
-pub trait GlobalVertexBuilder {
+pub trait VertexBuilder {
     // No methods are currently defined. This trait serves as a placeholder, to
     // make it clear where to add such methods, once necessary.
 }
 
-impl GlobalVertexBuilder for PartialVertex {}
+impl VertexBuilder for PartialVertex {}