Update to commit e33eef4f8fab800eaf4a32b2d159cde6c4bbb38e

[inform.git] / src / bpatch.c

diff --git a/src/bpatch.c b/src/bpatch.c
index b3a467e1c107065df97ab53ccb13c5609cfdabf0..daca6fbe4552f28b0786ca91b044369d47fbe85c 100644 (file)
--- a/src/bpatch.c
+++ b/src/bpatch.c
@@ -320,6 +320,7 @@ static int32 backpatch_value_g(int32 value)
                       break;
                     case CONSTANT_T:
                     case INDIVIDUAL_PROPERTY_T:
+                    case PROPERTY_T:
                       /* value is unchanged */
                       break;
                     default: