diff options
| author | Pierre-Marie Pédrot | 2018-09-13 16:42:29 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-08 15:38:35 +0200 |
| commit | a7e3a426886c712528a7561fb351e0234e4de2bc (patch) | |
| tree | d1ad0d3db8b4c3687dfefffed04636348967b861 /plugins/syntax/numeral_notation_plugin.mlpack | |
| parent | 9a1cbeb18e10e7eb40363e648e15f4f9aae1f9b8 (diff) | |
Remove dead code in universe handling in the abstract tactical.
Since 213b323 the kernel was expecting to receive an empty set of internal
universe constraints in polymorphic definitions. We lift this invariant to
the code that actually generates side effects.
Diffstat (limited to 'plugins/syntax/numeral_notation_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions