diff options
| author | Théo Zimmermann | 2016-10-01 08:37:59 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2016-10-01 09:07:04 +0200 |
| commit | cc407dc4272928944af06ee141d71ff3c9622347 (patch) | |
| tree | 5bd2bcf74f0675e86cd6864e520b4cad167b25bb /test-suite/output/PrintModule.out | |
| parent | 064de6f6839c4ef963b83018812c5d4113eb2bb9 (diff) | |
Micro refactoring: use exact_no_check.
This does not affect the semantics of these functions.
Diffstat (limited to 'test-suite/output/PrintModule.out')
0 files changed, 0 insertions, 0 deletions