diff options
| author | Gabriel Kerneis | 2014-07-04 15:18:04 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-07-04 15:18:04 +0100 |
| commit | aa9440f5132008926624f2f00d5c4044734d80ac (patch) | |
| tree | a33d91fa6f6acb13c2077456e8195ad6e6d5fc37 /src/pretty_print.ml | |
| parent | 04934f061ed5dac10d112bdfd3fcbec7e8849dc3 (diff) | |
Relax constraints for quot_vec
Diffstat (limited to 'src/pretty_print.ml')
0 files changed, 0 insertions, 0 deletions