From 89b25e7cc97f6fe221dfd41c4d463500f8a31bc1 Mon Sep 17 00:00:00 2001
From: Normand Briere <nbriere@noware.ca>
Date: Tue, 25 Jun 2019 23:58:09 -0400
Subject: [PATCH] Edit panel pin state.

---
 BoundaryRep.java |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/BoundaryRep.java b/BoundaryRep.java
index 6c09eda..883e363 100644
--- a/BoundaryRep.java
+++ b/BoundaryRep.java
@@ -4155,6 +4155,8 @@
     
     void MergeNormals()
     {
+        assert(!trimmed);
+        
         boolean smooth = Grafreed.smoothmode;
         boolean link = Grafreed.linkUV;
         Grafreed.smoothmode = true;

--
Gitblit v1.6.2