From 2a4e9ddb486af4d9cee1ebfe6173a9397ac7a5d5 Mon Sep 17 00:00:00 2001 From: Graham Nelson Date: Thu, 7 Apr 2022 23:01:27 +0100 Subject: [PATCH] Fix for Mantis bug 2040 --- inform7/if-module/Chapter 3/Spatial Model.w | 1 + inform7/knowledge-module/Chapter 5/Property Inferences.w | 2 ++ 2 files changed, 3 insertions(+) diff --git a/inform7/if-module/Chapter 3/Spatial Model.w b/inform7/if-module/Chapter 3/Spatial Model.w index 4f408e91da..072322c910 100644 --- 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 index d67de27377..4f01b47f44 100644 --- 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,