tree 2875d774093009f5f5608b65ee9e57cfc616f68f
parent 5ec130686a73ed6dfe4b13885785740b643ceeb9
parent 42db934ffaa7f9294f8ae17c2ed9eafdf4978c82
author Dave Borowitz <dborowitz@google.com> 1505327447 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1505327447 +0000

Merge "Add pure_revert Prolog fact"