diff options
| author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-23 00:50:18 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-23 00:50:18 +0000 |
| commit | c85de58a2047c4858825d03977e490db6168fbe3 (patch) | |
| tree | 8856e5d3e8ac67ca9404bd6b0541d3652f37973d /mkfile | |
| parent | 43f65cbe02b3a2512c3a797862196d693b3a9f11 (diff) | |
Simplify parsing a bit, and make sure the prolog loader calls read_term with the correct module to pick up the correct operators
Diffstat (limited to 'mkfile')
0 files changed, 0 insertions, 0 deletions