diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2017-07-12 16:54:12 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2017-07-13 15:14:45 +0200 |
commit | f2a01d400c92c48caf79771f17820a492f99057b (patch) | |
tree | 75c2b46c8d99cec0e4298c4227b7ad2289fb8938 /test-suite/coq-makefile/plugin-reach-outside-API-and-fail | |
parent | 469a9b3242891b089b4a211e96b5b568277f7fc0 (diff) |
Removing the uses of abstraction-breaking code in Obligations.
Diffstat (limited to 'test-suite/coq-makefile/plugin-reach-outside-API-and-fail')
0 files changed, 0 insertions, 0 deletions