diff options
Diffstat (limited to 'lib/cAst.ml')
| -rw-r--r-- | lib/cAst.ml | 2 |
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 |
