diff options
| author | Pierre Letouzey | 2014-01-24 17:11:45 +0100 |
|---|---|---|
| committer | Pierre Letouzey | 2014-01-30 18:36:49 +0100 |
| commit | 5db2b3e3b637d23befa6f97d78d8f411f436f4a5 (patch) | |
| tree | 4f4dd1f8b88c4dba4d625229899a489116f172b3 /kernel/type_errors.ml | |
| parent | 846ab8d4da6d2faf2c49dbdb5a6747b807471e7d (diff) | |
CString: avoid redefining is_sub
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions