Empty tables threw an exception because left/top border was then not …

…included.
AlloyTools · Jan 8, 2025 · de6d598 · de6d598
1 parent e499793
commit de6d598
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/org.alloytools.alloy.core/src/test/java/org/alloytools/util/table/TableTest.java b/org.alloytools.alloy.core/src/test/java/org/alloytools/util/table/TableTest.java
@@ -17,7 +17,7 @@ public void testUnfilledTable() {
     @Test
     public void testEmptyTable() {
         Table t = new Table(0, 0, 0);
-        assertEquals("" + "☒" + "", t.toString());
+        assertEquals("" + "∅" + "", t.toString());
 
     }