From 7058b9b400e252a30c1e624cbe0de26b70356d64 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Sun, 9 Apr 2017 03:39:07 +0200 Subject: [location] Cleanup. We remove some unnecessary functions introduced before in the patch series + unused functions. --- lib/cAst.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/cAst.ml') 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 -- cgit v1.2.3