diff --git a/prism/src/prism/StateModelChecker.java b/prism/src/prism/StateModelChecker.java
index 58cd8f68..4af392a3 100644
--- a/prism/src/prism/StateModelChecker.java
+++ b/prism/src/prism/StateModelChecker.java
@@ -1271,7 +1271,6 @@ public class StateModelChecker implements ModelChecker
 		JDD.Deref(ddFilter);
 		vals.clear();
 		
-		res.print(mainLog);
 		return res;
 	}
 }
diff --git a/prism/src/prism/StateProbsMTBDD.java b/prism/src/prism/StateProbsMTBDD.java
index 113de6d2..b554bcdf 100644
--- a/prism/src/prism/StateProbsMTBDD.java
+++ b/prism/src/prism/StateProbsMTBDD.java
@@ -416,8 +416,6 @@ public class StateProbsMTBDD implements StateProbs
 			return;
 		}
 		
-		JDD.PrintVector(probs, vars);
-		
 		// set up and call recursive print
 		outputLog = log;
 		for (i = 0; i < varList.getNumVars(); i++) {