X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=src%2Fbpatch.c;h=daca6fbe4552f28b0786ca91b044369d47fbe85c;hb=d8d68d0bd4c45af6f0dc69b4fc33d37d961aca85;hp=b3a467e1c107065df97ab53ccb13c5609cfdabf0;hpb=c881aa3386c00d7021ffabf2f66275d6c110c1c1;p=inform.git

diff --git a/src/bpatch.c b/src/bpatch.c
index b3a467e..daca6fb 100644
--- 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: