diff options
| author | Pierre-Marie Pédrot | 2017-07-12 17:57:22 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-07-13 18:19:09 +0200 |
| commit | a59bdc4144476c0794ff24fc6180e21671842395 (patch) | |
| tree | ee175002ae8197c9a94e5ec3fcdaeeededbb4f04 /plugins/syntax/string_syntax.ml | |
| parent | f2a01d400c92c48caf79771f17820a492f99057b (diff) | |
Removing the uses of abstraction-breaking code in Lemmas.
I had to slightly tweak a test in order to work around a bug of simpl that
loses universes constraints when refolding polymorphic fixpoints.
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions