tree 6447bd80d57480fe2e590ee0da54064017a9b512
parent e9430cda5877619e1ccdd395b450853feddc7f9c
author Chih-Hung Hsieh <chh@google.com> 1554098515 -0700
committer Chih-hung Hsieh <chh@google.com> 1554147814 +0000

Fix unbound variable bug in $consult/1

When using consult([x1,x2]) or (consult(x1),consult(x2)),
x1's clauses are erased before x2 is consulted.
The problem is due to the wrong unbound local variable File,
introduced in change Id9163384e960f9c39cd9e0169b25b9cf0b9e95a2.

Change-Id: Iac5229f68292f08c5b1fc2aa0f6df702b4e6dd6d