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 /doc/plugin_tutorial/tuto2/Makefile | |
| 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 'doc/plugin_tutorial/tuto2/Makefile')
0 files changed, 0 insertions, 0 deletions