Replace/restore buttons.

Normand Briere

2019-07-17 a5580a47d246c1272b10adba68070f6e13da5e41

 Vertex.java
..
..
@@ -122,7 +122,7 @@
122
122
 
123
123
     public boolean equals(Object o)
124
124
     {
125
-            assert(norm.normalized());
125
+    // JUNE 2019. norm can be null (e.g. Box)           Grafreed.Assert(norm.normalized());
126
126
         //if (true) return false;
127
127
 
128
128
         Vertex vert = (Vertex) o;