diff options
author | 2015-10-12 13:12:26 +0200 | |
---|---|---|
committer | 2015-10-12 13:12:26 +0200 | |
commit | b9a3925288af0cf3023c9a0073dc1eb295270de8 (patch) | |
tree | 384c3201c630393d0a2cbabeb561df1337bae5f4 /intf/evar_kinds.mli | |
parent | a479aa6e8dbd1dda1af2412f8c1e1ff40f0d5a0b (diff) |
Fix Definition id := Eval <redexpr> in by passing the right universe
context to the reduction function. Fixes MapleMode.
Diffstat (limited to 'intf/evar_kinds.mli')
0 files changed, 0 insertions, 0 deletions