From efff3c629b6aa46efc20795210e727debd88ab27 Mon Sep 17 00:00:00 2001
From: Vojtech Forejt <forejtv@gmail.com>
Date: Sun, 20 Dec 2015 15:07:00 +0000
Subject: [PATCH] Removing superfluous debugging output

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11057 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/ast/Property.java | 2 --
 1 file changed, 2 deletions(-)

diff --git a/prism/src/parser/ast/Property.java b/prism/src/parser/ast/Property.java
index 65ee4a50..d0912f2a 100644
--- a/prism/src/parser/ast/Property.java
+++ b/prism/src/parser/ast/Property.java
@@ -402,8 +402,6 @@ public class Property extends ASTElement
 			} while(m.find());
 
 			List<Point> liResult = ((TileList) result).getRealPoints();
-			System.out.println("a: " + liExpected.toString());
-			System.out.println("b: " + liResult.toString());
 
 			if (liResult.size() != liExpected.size())
 				throw new PrismException("The expected Pareto curve and the computed Pareto curve have a different number of points.");