tree 180ed057dffb30c64ab7d431ce8e540a5e3ca90d
parent b39e3a8a4fa9b4121a9ceb45cacce843b32b1a65
author Nick Kralevich <nnk@google.com> 1369328141 -0700
committer Nick Kralevich <nnk@google.com> 1369332316 -0700

properties.h: avoid duplicating constant values

Use the constant value from sys/system_properties.h,
rather than having two copies of this constant in two
different places.

This partially addresses the TODO in the header file.

Change-Id: Ic0b098cb8caf562ed2a25a0cf8cd412ba2e06884