diff --git a/core/vdmj/src/main/java/org/overturetool/vdmj/scheduler/CTMainThread.java b/core/vdmj/src/main/java/org/overturetool/vdmj/scheduler/CTMainThread.java
index f744e836a3..684b62d37b 100644
--- a/core/vdmj/src/main/java/org/overturetool/vdmj/scheduler/CTMainThread.java
+++ b/core/vdmj/src/main/java/org/overturetool/vdmj/scheduler/CTMainThread.java
@@ -29,6 +29,7 @@
 import org.overturetool.vdmj.Settings;
 import org.overturetool.vdmj.commands.DebuggerReader;
 import org.overturetool.vdmj.lex.LexLocation;
+import org.overturetool.vdmj.messages.Console;
 import org.overturetool.vdmj.runtime.Context;
 import org.overturetool.vdmj.runtime.ContextException;
 import org.overturetool.vdmj.statements.Statement;
@@ -185,6 +186,13 @@ protected void handleSignal(Signal sig, Context lctxt, LexLocation location)
 		super.handleSignal(sig, lctxt, location);
 	}
 
+	@Override
+	public void setException(Exception e)
+	{
+		// Don't print out the error for CT
+		exception = e;
+	}
+
 	public List<Object> getList()
 	{
 		return result;
diff --git a/core/vdmj/src/main/java/org/overturetool/vdmj/scheduler/MainThread.java b/core/vdmj/src/main/java/org/overturetool/vdmj/scheduler/MainThread.java
index 2cdec54d68..3860b827e8 100644
--- a/core/vdmj/src/main/java/org/overturetool/vdmj/scheduler/MainThread.java
+++ b/core/vdmj/src/main/java/org/overturetool/vdmj/scheduler/MainThread.java
@@ -46,7 +46,7 @@ public class MainThread extends SchedulablePoolThread
 	public final Expression expression;
 
 	private Value result = new UndefinedValue();
-	private Exception exception = null;
+	protected Exception exception = null;
 
 	public MainThread(Expression expr, Context ctxt)
 	{