diff options
| author | Jason Gross | 2017-03-01 15:21:37 -0500 |
|---|---|---|
| committer | Jason Gross | 2017-03-01 15:21:37 -0500 |
| commit | 3bca0281034722fbbd3a45b16ae841ef54c317ca (patch) | |
| tree | 0c123466bbd638dd4f9f7e677849202467b25db9 /kernel/type_errors.ml | |
| parent | bdc74cd1b945b69f81264cb6df8eb793c0c6817f (diff) | |
Remove some trailing whitespace in Init/Specif.v
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions