diff options
| author | mrmr1993 | 2018-03-03 11:25:26 +0000 |
|---|---|---|
| committer | mrmr1993 | 2018-03-05 14:35:30 +0000 |
| commit | 4d916a65ef1274160a2ee9726b88de5245e800e8 (patch) | |
| tree | a631d6f40c49d129ea638588e815764358ff5d1c /pretyping/typeclasses_errors.ml | |
| parent | fb4571bf487fd590d5e64ee33b27a7212a491466 (diff) | |
Change non-documentation comment from ocamldoc style
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions