tree abc179dde5864abcb312544de1813d870b1863c7
parent 59eaeed5fabc27942d62327fa460ebb8bd2f3822
author Nick Kralevich <nnk@google.com> 1368813999 -0700
committer Nick Kralevich <nnk@google.com> 1368813999 -0700

Remove unnecessary header file.

In b2cac4ff37ed2a3521efb307b807b12f649634b8, the last
reference to property_get was removed, but the include
file remained. Remove it.

This is causing me unrelated problems.

Change-Id: I87bbfbfa5871f6da4a1b00037a225f67bbd75881