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 5756c954..5c9528e2 100644 --- a/src/ast_util.ml +++ b/src/ast_util.ml @@ -433,6 +433,9 @@ let kid_loc = function let pat_loc = function | P_aux (_, (l, _)) -> l +let exp_loc = function + | E_aux (_, (l, _)) -> l + let def_loc = function | DEF_kind (KD_aux (_, (l, _))) | DEF_type (TD_aux (_, (l, _))) |