diff options
| author | Emilio Jesus Gallego Arias | 2020-03-02 02:06:08 -0500 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-19 17:18:54 -0400 |
| commit | cdf961716bc825f362ea98b73be8e6a6201d52f0 (patch) | |
| tree | 44068cb291a61ad1dbda50c3d3906c5e1172cba3 /plugins/syntax/float_syntax.ml | |
| parent | eb452f9da5a52df0d74f7a433cfe98e31ab4ab15 (diff) | |
[lemma] Remove double normalization of types
It should be safe now after previous refactoring in lemmas.
Diffstat (limited to 'plugins/syntax/float_syntax.ml')
0 files changed, 0 insertions, 0 deletions