From 12e3cb2580ee67f7e96bbe1718ff7f37bfa86173 Mon Sep 17 00:00:00 2001 From: jjenista Date: Thu, 28 Apr 2011 21:30:56 +0000 Subject: [PATCH] Let end user see what classpath was selected. --- Robust/src/Main/Main.java | 1 + 1 file changed, 1 insertion(+) 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); -- 2.34.1