From: jjenista <jjenista>
Date: Thu, 28 Apr 2011 21:30:56 +0000 (+0000)
Subject: Let end user see what classpath was selected.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=12e3cb2580ee67f7e96bbe1718ff7f37bfa86173;p=IRC.git

Let end user see what classpath was selected.
---

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index b1b8fd33..08b16f4c 100644
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -409,6 +409,7 @@ public class Main {
       state.classpath.add(ClassLibraryPrefix);
 
     State.logEvent("Done Parsing Commands");
+    System.out.println("Classpath: "+state.classpath);
 
     SSJavaAnalysis ssjava=new SSJavaAnalysis(state);