From dafa42ad52512af4460581dabc1b8aef43dfcc1d Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Mon, 24 Oct 2016 10:02:47 +0200
Subject: [PATCH] Certain MainHelpers fields should be lazy
---
src/main/scala/inox/Main.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/inox/Main.scala b/src/main/scala/inox/Main.scala
index 0db45b8a0..625152626 100644
--- a/src/main/scala/inox/Main.scala
+++ b/src/main/scala/inox/Main.scala
@@ -12,7 +12,7 @@ trait MainHelpers {
solvers.DebugSectionSolver
)
- protected final val debugSections = getDebugSections
+ protected final lazy val debugSections = getDebugSections
final object optDebug extends OptionDef[Set[DebugSection]] {
import OptionParsers._
@@ -58,7 +58,7 @@ trait MainHelpers {
evaluators.optIgnoreContracts -> "Don't fail on invalid contracts during evaluation"
)
- protected final val options = getOptions
+ protected final lazy val options = getOptions
private def helpString(opt: OptionDef[_]): String = {
f"${opt.usageDesc}%-28s" + options(opt).replaceAll("\n", "\n" + " " * 28)
--
GitLab