diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-10-31 12:47:28 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-31 19:47:28 +0000 |
| commit | 47ddb344f317496928dddd4b017867b8c07dbded (patch) | |
| tree | 2e6bea17492542cb7e52d97679e33db7a8ebdfab /src/main | |
| parent | 08800bd63da929fd0439d0e743ace1a71aeffa14 (diff) | |
api: Add guard against querying value from term with free vars. (#7529)
Diffstat (limited to 'src/main')
0 files changed, 0 insertions, 0 deletions