diff options
Diffstat (limited to 'src/ast_util.ml')
| -rw-r--r-- | src/ast_util.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ast_util.ml b/src/ast_util.ml index 1fe4798f..63726304 100644 --- a/src/ast_util.ml +++ b/src/ast_util.ml @@ -635,6 +635,7 @@ let def_loc = function | DEF_overload (Id_aux (_, l), _) -> l | DEF_internal_mutrec _ -> Parse_ast.Unknown | DEF_pragma (_, _, l) -> l + | DEF_measure (id, _, _) -> id_loc id let string_of_id = function | Id_aux (Id v, _) -> v |