X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FUnion.java;h=b690450eb60823bcbf1ceb8c996d070bf001458c;hp=ea2e2db4d21eb7e52a67fc0aa24b285bbdff91e1;hb=90500a338733b6ba0d5b9c0cdc5a7afea38173ae;hpb=3eb9fa560dee4f8c3b3af0460ff850d755676d81

diff --git a/src/edu/berkeley/sbp/Union.java b/src/edu/berkeley/sbp/Union.java
index ea2e2db..b690450 100644
--- a/src/edu/berkeley/sbp/Union.java
+++ b/src/edu/berkeley/sbp/Union.java
@@ -33,7 +33,7 @@ public class Union extends Element implements Iterable<Sequence> {
     public void add(Sequence s) {
         alternatives.add(s);
         if (/*!synthetic &&*/ shortForm!=null
-            && Character.isUpperCase(shortForm.charAt(0))
+            //&& Character.isUpperCase(shortForm.charAt(0))
             )
             s.setName(toString());
     }