diff options
| author | BESSON Frederic | 2020-11-02 18:46:37 +0100 |
|---|---|---|
| committer | BESSON Frederic | 2020-11-18 09:49:22 +0100 |
| commit | 38e836a128d41a5de7dd72f1bf84f6350099aa43 (patch) | |
| tree | c1e3e60d928a2255c0a1462d94a9ca7a0fbc555f /plugins/syntax/string_notation.ml | |
| parent | 06a70885fe1ed03b6e71a7a0a1123db3074bcdeb (diff) | |
[micromega] Sort constraints before performing `subst`
This will be more predictable. In case there are several possible
substitution, the "simplest" is prefered.
Diffstat (limited to 'plugins/syntax/string_notation.ml')
0 files changed, 0 insertions, 0 deletions