diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-12-28 11:43:01 +0100 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-12-28 11:43:01 +0100 |
commit | 0276f8357a2ea1d83cb6b85b86b8b3f5a1e4579d (patch) | |
tree | 1fbf3c67762b2358f7166ca8c05565d4c1bcf33e /proofs/proof_global.mli | |
parent | aeb5daa2efdb2d0f2c75670e11d409f24528c54a (diff) |
remove debug prints (leftover)
Diffstat (limited to 'proofs/proof_global.mli')
0 files changed, 0 insertions, 0 deletions