diff options
| author | Jason Gross | 2016-09-26 13:11:03 -0400 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-09-26 23:44:04 +0200 |
| commit | 53ac7ca0cd74b62d47472c0dabfcc8dc1cacd86c (patch) | |
| tree | 26623ffeff84941c654d68b824fe2274d29a9a04 /kernel/type_errors.ml | |
| parent | f8745b1dbc87a8fee4943a91f517dc2afcd7804b (diff) | |
Remove spaces from around vector notations
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions