diff --git a/src/funcheck/CodeExtraction.scala b/src/funcheck/CodeExtraction.scala index 335fb44b44897af6d87ce751398f3feee508b26d..d24c2f398bd87578be30461fc2d6eb9d08374768 100644 --- a/src/funcheck/CodeExtraction.scala +++ b/src/funcheck/CodeExtraction.scala @@ -31,8 +31,7 @@ trait CodeExtraction extends Extractors { protected def stopIfErrors: Unit = { if(reporter.hasErrors) { - println("There were errors.") - exit(0) + throw new Exception("There were errors.") } }