From e9d5490c1e77857ab23ea193af27e4dd562c60b7 Mon Sep 17 00:00:00 2001
From: sjfink <sjfink@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Mon, 9 Jul 2007 16:37:19 +0000
Subject: [PATCH] enhance a debugging message

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1399 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 .../src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java      | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java b/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
index 2ff49709c..f2774eed4 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
@@ -754,7 +754,7 @@ public class TabulationSolver<T, P> {
   }
 
   /**
-   * Propagate the fact <s_p,i> -> <n, j> has arisin as a path edge. Note: apply
+   * Propagate the fact <s_p,i> -> <n, j> has arisen as a path edge. Note: apply
    * merging if necessary.
    * 
    * Merging: suppose we're doing propagate <s_p,i> -> <n,j> but we already have
@@ -776,7 +776,7 @@ public class TabulationSolver<T, P> {
     int number = supergraph.getLocalBlockNumber(n);
     if (Assertions.verifyAssertions) {
       if (number < 0) {
-        System.err.println("BOOM");
+        System.err.println("BOOM " + n);
         supergraph.getLocalBlockNumber(n);
       }
       Assertions._assert(number >= 0);