Commit eba84aa

andrew-johnson-4

authored

Merge pull request #1447 from andrew-johnson-4/remove-fctx-lookup-fafddfa

fix errors

2 parents bd09d18 + 15b0fd3 commit eba84aaCopy full SHA for eba84aa

3 files changed

+29617

-28813

lines changed

BOOTSTRAP
- cli.c
tests/regress
- propositional-types.lsts
- type-syntax.lsts

3 files changed

+29617

-28813

lines changed

Comments

(0)