diff options
| author | Matthieu Sozeau | 2014-12-10 18:16:16 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-12-10 18:18:56 +0100 |
| commit | d8aa8ce556945cba1d3c08c97f8db78d42796a04 (patch) | |
| tree | efa37700053e10427439cd3e598bceb80a39d309 /plugins/syntax/string_syntax.ml | |
| parent | d50c25ca21b9fab6da6301201fed5be32449f88f (diff) | |
Revert commit that inverted the preference for FFlex/FProj problems in
kernel reduction.
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions