another fixed compilation error

andreas-steigmiller · andreas-steigmiller · commit 2878d702a800 · 2019-07-09T09:27:30.000Z
diff --git a/Source/Reasoner/Kernel/Algorithm/CCalculationTableauCompletionTaskHandleAlgorithm.cpp b/Source/Reasoner/Kernel/Algorithm/CCalculationTableauCompletionTaskHandleAlgorithm.cpp
@@ -16611,7 +16611,7 @@ namespace Konclude {
 				bool CCalculationTableauCompletionTaskHandleAlgorithm::isLabelConceptEqualSetConsiderNominalsForClashOnly(CReapplyConceptLabelSet* conceptSet1, CReapplyConceptLabelSet* conceptSet2, bool* clashFlag, CCalculationAlgorithmContextBase* calcAlgContext) {
 					STATINC(LABELCONCEPTEQUALSETTESTCOUNT, calcAlgContext);
 					if (clashFlag) {
-						clashFlag = false;
+						*clashFlag = false;
 					}
 					CReapplyConceptLabelSetIterator conSet1It(conceptSet1->getConceptLabelSetIterator(true, false, false));
 					CReapplyConceptLabelSetIterator conSet2It(conceptSet2->getConceptLabelSetIterator(true, false, false));
diff --git a/revision-git.h b/revision-git.h
@@ -1,3 +1,3 @@
-#define KONCLUDE_VERSION_GIT_REVISION_NUMBER 844
+#define KONCLUDE_VERSION_GIT_REVISION_NUMBER 845
 #define KONCLUDE_VERSION_GIT_TAG_NAME_STRING "v0.6.2"
-#define KONCLUDE_VERSION_GIT_REVISION_HASH_STRING "a1032667"
+#define KONCLUDE_VERSION_GIT_REVISION_HASH_STRING "b6eac216"

Original file line number	Diff line number	Diff line change
`@@ -16611,7 +16611,7 @@ namespace Konclude {`
`16611`	`16611`	`bool CCalculationTableauCompletionTaskHandleAlgorithm::isLabelConceptEqualSetConsiderNominalsForClashOnly(CReapplyConceptLabelSet* conceptSet1, CReapplyConceptLabelSet* conceptSet2, bool* clashFlag, CCalculationAlgorithmContextBase* calcAlgContext) {`
`16612`	`16612`	`STATINC(LABELCONCEPTEQUALSETTESTCOUNT, calcAlgContext);`
`16613`	`16613`	`if (clashFlag) {`
`16614`		`- clashFlag = false;`
	`16614`	`+ *clashFlag = false;`
`16615`	`16615`	`}`
`16616`	`16616`	`CReapplyConceptLabelSetIterator conSet1It(conceptSet1->getConceptLabelSetIterator(true, false, false));`
`16617`	`16617`	`CReapplyConceptLabelSetIterator conSet2It(conceptSet2->getConceptLabelSetIterator(true, false, false));`