diff options
| author | Pierre-Marie Pédrot | 2017-07-12 16:54:12 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-07-13 15:14:45 +0200 |
| commit | f2a01d400c92c48caf79771f17820a492f99057b (patch) | |
| tree | 75c2b46c8d99cec0e4298c4227b7ad2289fb8938 /plugins/syntax/string_syntax.ml | |
| parent | 469a9b3242891b089b4a211e96b5b568277f7fc0 (diff) | |
Removing the uses of abstraction-breaking code in Obligations.
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions