diff options
| author | Thomas Bauereiss | 2017-10-19 15:10:12 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-10-19 15:41:27 +0100 |
| commit | c316e9f9741413219d4824a578bd294ef2561a97 (patch) | |
| tree | ebd2c059b0506a76a9f71e1e251782a8e281f843 /src/util.ml | |
| parent | 32726c9862185716ff3a2c92fc4b869afde1f7ac (diff) | |
Preserve more type environment information during rewriting
Fixes a bug where resolving a type synonym failed in the Lem pretty-printer due
to a missing type environment.
Diffstat (limited to 'src/util.ml')
0 files changed, 0 insertions, 0 deletions