diff --git a/src/core/hmap_ls_.dummy.ml b/src/core/hmap_ls_.dummy.ml index af953380..e4f0692c 100644 --- a/src/core/hmap_ls_.dummy.ml +++ b/src/core/hmap_ls_.dummy.ml @@ -1,6 +1,6 @@ (**/**) -module Private_hmap_fls_ = struct +module Private_hmap_ls_ = struct let copy_fls _ _ = () end