diff options
Diffstat (limited to 'lib/loc.ml')
| -rw-r--r-- | lib/loc.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/loc.ml b/lib/loc.ml index 8d7432ff4..2a785fac4 100644 --- a/lib/loc.ml +++ b/lib/loc.ml @@ -62,6 +62,7 @@ type 'a located = t * 'a let to_pair x = x let tag ?loc x = Option.default ghost loc, x +let obj (_,x) = x let with_loc f (loc, x) = f ~loc x let with_unloc f (_,x) = f x |