diff options
Diffstat (limited to 'src/ast_util.ml')
| -rw-r--r-- | src/ast_util.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/ast_util.ml b/src/ast_util.ml index 074376a9..a70db3e0 100644 --- a/src/ast_util.ml +++ b/src/ast_util.ml @@ -428,6 +428,9 @@ let id_loc = function let kid_loc = function | Kid_aux (_, l) -> l +let pat_loc = function + | P_aux (_, (l, _)) -> l + let def_loc = function | DEF_kind (KD_aux (_, (l, _))) | DEF_type (TD_aux (_, (l, _))) |