diff options
| author | Yao Li | 2018-06-06 22:11:23 -0700 |
|---|---|---|
| committer | Yao Li | 2018-06-06 22:11:23 -0700 |
| commit | 79d97f22469bc7417ad3f27d6c8706f331b67b53 (patch) | |
| tree | 5c08fff0e02d037fbbf75654390cc5954c8a3b2c /src/specialize.mli | |
| parent | 1f88b4812916a56df8d5ff8c09ac56c8e4086be4 (diff) | |
Fix a typo.
Diffstat (limited to 'src/specialize.mli')
0 files changed, 0 insertions, 0 deletions