From 4cdbaf17bfa60e166f6404a071f520ed15e97ebe Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 1 Feb 2022 22:21:03 -0500 Subject: [PATCH] fix opam file --- sidekick.opam | 1 + 1 file changed, 1 insertion(+) 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: [