diff options
| author | Alasdair Armstrong | 2018-01-25 19:12:37 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-25 19:12:37 +0000 |
| commit | e4d4c3ea427f0258847afe7f7c004c62724b5f9b (patch) | |
| tree | 63261378825a6e67fd26af602ee33c97be956e00 /src/pattern_completeness.ml | |
| parent | b2d580f7154f2e0d55ac710663bde16fd074720c (diff) | |
Add mli file for pattern completeness module
Diffstat (limited to 'src/pattern_completeness.ml')
| -rw-r--r-- | src/pattern_completeness.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pattern_completeness.ml b/src/pattern_completeness.ml index 4a2b5cfa..123592a3 100644 --- a/src/pattern_completeness.ml +++ b/src/pattern_completeness.ml @@ -272,7 +272,7 @@ let rec cases_to_pats = function (* We don't consider guarded cases *) | Pat_aux (Pat_when _, _) :: cases -> cases_to_pats cases -(* Just highlight the match keyword and no the whole match block. *) +(* Just highlight the match keyword and not the whole match block. *) let shrink_loc = function | Parse_ast.Range (n, m) -> Lexing.(Parse_ast.Range (n, { n with pos_cnum = n.pos_cnum + 5 })) |