diff options
Diffstat (limited to 'lib/util.ml')
| -rw-r--r-- | lib/util.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/util.ml b/lib/util.ml index 8916400ac..523579d1f 100644 --- a/lib/util.ml +++ b/lib/util.ml @@ -365,6 +365,8 @@ let ascii_of_ident s = module List : CList.ExtS = CList +let (@) = CList.append + (* Arrays *) let array_compare item_cmp v1 v2 = |