removed try catch

test/za/ac/sun/cs/green/service/canonizer/SATCanonizerTest.java

@@ -44,7 +44,7 @@ private void finalCheck(String observed, String[] expected) {
 	}
 
 	private void check(Expression expression, String full, String... expected) {
-		try {
+
 		Instance i = new Instance(solver, null, null, expression);
 		Expression e = i.getExpression();
 		assertTrue(e.equals(expression));
@@ -55,9 +55,7 @@ private void check(Expression expression, String full, String... expected) {
 		assertEquals(Instance.class, result.getClass());
 		Instance j = (Instance) result;
 		finalCheck(j.getExpression().toString(), expected);
-		} catch(ComparisonFailure err){
-			System.out.println(err.getMessage);		
-		}
+
 	}
 
 	private void check(Expression expression, Expression parentExpression, String full, String... expected) {