From e573a6a414a92065a830159398052e97f5f4e1fa Mon Sep 17 00:00:00 2001
From: sjfink <sjfink@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Mon, 27 Aug 2007 13:46:57 +0000
Subject: [PATCH] bug fix for prettyPrint()

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1673 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 .../src/com/ibm/wala/logic/Disjunction.java       | 15 +++------------
 1 file changed, 3 insertions(+), 12 deletions(-)

diff --git a/com.ibm.wala.core/src/com/ibm/wala/logic/Disjunction.java b/com.ibm.wala.core/src/com/ibm/wala/logic/Disjunction.java
index 74ae6220d..387b8827f 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/logic/Disjunction.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/logic/Disjunction.java
@@ -56,19 +56,10 @@ public class Disjunction extends AbstractBinaryFormula implements IMaxTerm {
   }
 
   public String prettyPrint(ILogicDecorator d) {
-    if (clauses.size() == 1) {
-      return getF1().prettyPrint(d);
-    } else {
-      StringBuffer result = new StringBuffer();
-      result.append(" ( ");
-      result.append(getF1().prettyPrint(d));
-      result.append(" ) ");
-      result.append(d.prettyPrint(getConnective()));
-      result.append(" ( ");
-      result.append(getF2().prettyPrint(d));
-      result.append(" )");
-      return result.toString();
+    if (d == null) {
+      throw new IllegalArgumentException("d == null");
     }
+    return d.prettyPrint(this);
   }
 
   @Override