diff options
author | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-04-09 03:39:07 +0200 |
---|---|---|
committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-04-25 00:34:31 +0200 |
commit | 7058b9b400e252a30c1e624cbe0de26b70356d64 (patch) | |
tree | 5115f5af4231761a484e0413f4179423e183ca9a /lib/cAst.ml | |
parent | ee2197096fe75a63b4d92cb3a1bb05122c5c625b (diff) |
[location] Cleanup.
We remove some unnecessary functions introduced before in the patch
series + unused functions.
Diffstat (limited to 'lib/cAst.ml')
-rw-r--r-- | lib/cAst.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/cAst.ml b/lib/cAst.ml index 5916c9ec1..f0a405776 100644 --- a/lib/cAst.ml +++ b/lib/cAst.ml @@ -16,8 +16,8 @@ let make ?loc v = { v; loc } let map f n = { n with v = f n.v } let map_with_loc f n = { n with v = f ?loc:n.loc n.v } -let map_from_loc f n = - let loc, v = Loc.to_pair n in +let map_from_loc f l = + let loc, v = l in { v = f ?loc v ; loc } let with_val f n = f n.v |