aboutsummaryrefslogtreecommitdiff
path: root/lib/cAst.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/cAst.ml')
-rw-r--r--lib/cAst.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/cAst.ml b/lib/cAst.ml
index 18fa1c9b0d..30b7fca587 100644
--- a/lib/cAst.ml
+++ b/lib/cAst.ml
@@ -24,3 +24,5 @@ let map_from_loc f l =
let with_val f n = f n.v
let with_loc_val f n = f ?loc:n.loc n.v
+
+let eq f x y = f x.v y.v