From 18767ac9962932a496833c5971d3157e468c172e Mon Sep 17 00:00:00 2001 From: 20001LastOrder Date: Mon, 27 May 2019 16:41:23 -0400 Subject: fix the null pointer error when trying reproducing the generation procedure --- .../hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'Framework') diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend index 650fa02c..b4d9a8fa 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend @@ -65,10 +65,7 @@ public enum DocumentationLevel { /** * The solver writes only temporary files. */ - NONE, - - METRICS, - + NONE, /** * The solver is requested to write important artifacts and documents that are constructed during the generation. * This option should not affect the performance of the solver seriously. -- cgit v1.2.3-54-g00ecf