Fix for Mantis bug 2040

ganelson · Apr 7, 2022 · 2a4e9dd · 2a4e9dd
1 parent 4a252c1
commit 2a4e9dd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/inform7/if-module/Chapter 3/Spatial Model.w b/inform7/if-module/Chapter 3/Spatial Model.w
@@ -1027,6 +1027,7 @@ the absence of other information.)
 				}
 			}
 		if (portable) {
+			current_sentence = Instances::get_creating_sentence(I);
 			EitherOrProperties::assert(
 				P_fixed_in_place, Instances::as_subject(I), FALSE, CERTAIN_CE);
 		}

diff --git a/inform7/knowledge-module/Chapter 5/Property Inferences.w b/inform7/knowledge-module/Chapter 5/Property Inferences.w
@@ -103,6 +103,8 @@ int PropertyInferences::explain_contradiction(inference_family *f, inference *A,
 	inference *B, int similarity, inference_subject *subj) {
 	property_inference_data *A_data = RETRIEVE_POINTER_property_inference_data(A->data);
 	property_inference_data *B_data = RETRIEVE_POINTER_property_inference_data(B->data);
+	LOG("A = $I\nB = $I\n", A, B);
+	current_sentence = B->inferred_from;
 	if (B_data->inferred_property == P_variable_initial_value) {
 		StandardProblems::two_sentences_problem(_p_(PM_VariableContradiction),
 			A->inferred_from,