diff options
Diffstat (limited to 'typing/subst.ml')
| -rw-r--r-- | typing/subst.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/typing/subst.ml b/typing/subst.ml index 40cafb7bc3..62ab52808b 100644 --- a/typing/subst.ml +++ b/typing/subst.ml @@ -242,7 +242,9 @@ let class_type s cty = let value_description s descr = { val_type = type_expr s descr.val_type; - val_kind = descr.val_kind } + val_kind = descr.val_kind; + val_loc = if s.for_saving then Location.none else descr.val_loc; + } let exception_declaration s tyl = List.map (type_expr s) tyl |