X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTranslator%2Fsattranslator.cc;h=f69bff748e94687253515df5aad60d0c38138d70;hp=8e2fcf16db1c719f90da7d0da377dd2739c63332;hb=19c299fd9e91386883e788f445d153abfe58430a;hpb=97ff9ba5d9640b545d075225429c5dc88cadb1e1

diff --git a/src/Translator/sattranslator.cc b/src/Translator/sattranslator.cc
index 8e2fcf1..f69bff7 100644
--- a/src/Translator/sattranslator.cc
+++ b/src/Translator/sattranslator.cc
@@ -39,12 +39,12 @@ uint64_t getElementValueOneHotSATTranslator(CSolver *This, ElementEncoding *elem
 	uint index = 0;
 	bool overflow = true;
 	for (uint i = 0; i < elemEnc->numVars; i++) {
-		if (getValueSolver(This->getSATEncoder()->getCNF()->solver, getEdgeVar( elemEnc->variables[i] ))){
+		if (getValueSolver(This->getSATEncoder()->getCNF()->solver, getEdgeVar( elemEnc->variables[i] ))) {
 			index = i;
 			overflow = false;
 		}
 	}
-	if(overflow)
+	if (overflow)
 		model_print("WARNING: Element has undefined value!\n");
 	ASSERT(elemEnc->encArraySize > index && elemEnc->isinUseElement(index));
 	return elemEnc->encodingArray[index];