diff --git a/sidekick.opam b/sidekick.opam index c9da08f3..49f9e558 100644 --- a/sidekick.opam +++ b/sidekick.opam @@ -21,6 +21,7 @@ depends: [ ] depopts: [ "mtime" # for profiling stuff + "memtrace" # memory profiling "zarith" # for arithmetic ] conflicts: [