diff options
| author | Frédéric Besson | 2019-05-14 14:54:22 +0200 |
|---|---|---|
| committer | Frédéric Besson | 2019-05-22 11:08:42 +0200 |
| commit | 551552aeb9ae5f04fbd9b71d1d00c6059090c052 (patch) | |
| tree | 4334d8a0b57170a60502c2f6df9d8d2cb7e4cbf8 /plugins/syntax | |
| parent | e9a5fe993ba36e22316ac9f6ef0564f38a3eb4f9 (diff) | |
Partly revert micromega parsing using typeclasses.
Typeclasses resolution is not used anymore for lia.
Typeclasses resolution is still used by lra but only to access a
database of declared constants.
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions