diff options
| author | Gaëtan Gilbert | 2018-07-13 16:10:15 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-10-09 13:26:21 +0200 |
| commit | c70cc62e74341ccda9a67fccdefb03f6d122406c (patch) | |
| tree | ceb30c88c60d2049bf6ceb9942cf2fc18afdf8f5 /plugins | |
| parent | 60fe31e2424383abaa6c7a86aa65a76bbbc7eff3 (diff) | |
Simplify code for [Definition := Eval ...]
Note that since this now reduces before restricting universes
behaviour may be a bit different.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions