diff options
| author | Emilio Jesus Gallego Arias | 2019-03-28 20:54:17 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-03-30 17:12:03 +0100 |
| commit | b2a1329391bd7847085178d2738e62af215e45b5 (patch) | |
| tree | eb9ca3e14ac1a7f0f4e637690884fcfdf450edea /plugins/extraction/ExtrHaskellString.v | |
| parent | 1b3009ea672fd57e13e2d6912a97db51dfe8f13f (diff) | |
[program] Allow evars in type of fixpoints.
This is the right thing to do until we refine the program architecture
a bit to use EConstr.
Closes #9163 .
Diffstat (limited to 'plugins/extraction/ExtrHaskellString.v')
0 files changed, 0 insertions, 0 deletions