From cf08f2dd18c976a6e1ad881ae334a337cd0ba970 Mon Sep 17 00:00:00 2001 From: "Paolo G. Giarrusso" Date: Sun, 16 Dec 2012 19:23:26 +0100 Subject: [PATCH] Don't catch org.scalacheck.Prop.Exception --- util/collection/src/test/scala/SettingsTest.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/util/collection/src/test/scala/SettingsTest.scala b/util/collection/src/test/scala/SettingsTest.scala index 2e57685ea..f4796b76c 100644 --- a/util/collection/src/test/scala/SettingsTest.scala +++ b/util/collection/src/test/scala/SettingsTest.scala @@ -33,7 +33,7 @@ object SettingsTest extends Properties("settings") iterate(value(t-1) ) } try { evaluate( setting(chk, iterate(top)) :: Nil); true } - catch { case e: Exception => ("Unexpected exception: " + e) |: false } + catch { case e: java.lang.Exception => ("Unexpected exception: " + e) |: false } } // Circular (dynamic) references currently loop infinitely. @@ -45,7 +45,7 @@ object SettingsTest extends Properties("settings") { val ccr = new CCR(intermediate) try { evaluate( setting(chk, ccr.top) :: Nil); false } - catch { case e: Exception => true } + catch { case e: java.lang.Exception => true } } def tests =