diff options
| author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-21 00:12:09 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-21 00:12:09 +0000 |
| commit | 88841b194dc86c9392a813f9b8b0cf16857acb93 (patch) | |
| tree | 18dd5e01b0ddc07b7318fd783885533450cf9f7b /error.c | |
| parent | 085e3595450d6652b62350621b470b26ae67b6de (diff) | |
Always use a fresh clausenr for read teams, and make sure to update the clausenr in call/1, so cuts are local to that call
Diffstat (limited to 'error.c')
0 files changed, 0 insertions, 0 deletions