diff options
| author | Jason Gross | 2017-06-27 14:54:57 -0400 |
|---|---|---|
| committer | Jason Gross | 2017-08-01 11:29:34 -0400 |
| commit | b83ee9bf7dea03a211a0630b2bd5d08ad885cad8 (patch) | |
| tree | e15ee5849c4577c351758458598c3bfb3eeada95 /kernel/nativelib.ml | |
| parent | 65bd1deac80689d02be7ef580872974cc38bf93c (diff) | |
Have coq-dpdgraph ci test print the differences
This allows better debugging when it fails.
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions