diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-06-29 10:21:59 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-06-29 12:46:54 +0200 |
commit | 9501ddd635adea7db07b4df60b8bda1d557dff18 (patch) | |
tree | 8bfed1a20bc8e2c3e27711a0a80fd6ff337d3634 /plugins/rtauto/refl_tauto.ml | |
parent | 4965fa03bd9cbc37dd6888c7d13c3fba83b2652c (diff) |
Fixing #4865 (deciding on which arguments to recompute scopes was not robust).
See 4865.v for details.
Diffstat (limited to 'plugins/rtauto/refl_tauto.ml')
0 files changed, 0 insertions, 0 deletions