tree 3afea86c3d8dd0e4ee6ba2afb9b3d5c493036cc6
parent c1c5ed688c4d915b789f2d8cf9aaf5b4d193660f
author David Morgan <davidmorgan@google.com> 1539958616 +0200
committer David Morgan <davidmorgan@google.com> 1539958616 +0200

Enforce prefer_is_empty.