From 65ad52f6adfe44f16fc39a3723482c70e17a6544 Mon Sep 17 00:00:00 2001
From: Richard Taupe <richard.taupe@siemens.com>
Date: Mon, 11 Mar 2019 10:34:57 +0100
Subject: [PATCH] Fix log message in ChoiceManager.choose

Before this fix, the decision level was printed before it was increased,
thus connecting the chosen atom with a wrong decision level in the log
output.
---
 .../java/at/ac/tuwien/kr/alpha/solver/ChoiceManager.java    | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/main/java/at/ac/tuwien/kr/alpha/solver/ChoiceManager.java b/src/main/java/at/ac/tuwien/kr/alpha/solver/ChoiceManager.java
index da7e8417f..aa5ea1d64 100644
--- a/src/main/java/at/ac/tuwien/kr/alpha/solver/ChoiceManager.java
+++ b/src/main/java/at/ac/tuwien/kr/alpha/solver/ChoiceManager.java
@@ -1,5 +1,5 @@
 /**
- * Copyright (c) 2017-2018, the Alpha Team.
+ * Copyright (c) 2017-2019, the Alpha Team.
  * All rights reserved.
  *
  * Additional changes made by Siemens.
@@ -43,7 +43,7 @@
 
 /**
  * This class provides functionality for choice point management, detection of active choice points, etc.
- * Copyright (c) 2017, the Alpha Team.
+ * Copyright (c) 2017-2019, the Alpha Team.
  */
 public class ChoiceManager implements Checkable {
 	private static final Logger LOGGER = LoggerFactory.getLogger(ChoiceManager.class);
@@ -186,7 +186,6 @@ public void updateAssignments() {
 	}
 
 	public void choose(Choice choice) {
-		LOGGER.debug("Choice {} is {}@{}", choices, choice, assignment.getDecisionLevel());
 		if (!choice.isBacktracked()) {
 			choices++;
 		}
@@ -194,6 +193,7 @@ public void choose(Choice choice) {
 		if (assignment.choose(choice.getAtom(), choice.getValue()) != null) {
 			throw oops("Picked choice is incompatible with current assignment");
 		}
+		LOGGER.debug("Choice {} is {}@{}", choices, choice, assignment.getDecisionLevel());
 
 		if (debugWatcher != null) {
 			debugWatcher.runWatcher();