diff options
| author | Matthieu Sozeau | 2015-12-03 19:08:51 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-12-03 19:10:32 +0100 |
| commit | f41968d8c240db4653d0b9fe76e1646cd7c6fb68 (patch) | |
| tree | 04d051d79f853a86df3caedd435def2f09ac779f /dev | |
| parent | 281bed69ee7d4a7638d07f07f9d6722b897f29cc (diff) | |
Univs: fix bug #4443.
Do not substitute rigid variables during minimization, keeping
their equality constraints instead.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions