diff options
| author | SimonBoulier | 2020-03-18 11:15:15 +0100 |
|---|---|---|
| committer | SimonBoulier | 2020-03-18 11:15:15 +0100 |
| commit | ea16c402392722a44bf2227aef7ff73faef70d3a (patch) | |
| tree | 6d0373f5e73a235b6e9a348e9b13edd0b76acc8c /interp/constrextern.ml | |
| parent | 0626df49c72badbb51d2f31eb7d1b1fee22c2638 (diff) | |
Change some ouput tests due to the printing of implicits
Diffstat (limited to 'interp/constrextern.ml')
0 files changed, 0 insertions, 0 deletions