Merge PR coq#18995: load_printer memprof_limits.cma in dev/db

Reviewed-by: ejgallego Co-authored-by: ejgallego <[email protected]>
silene · May 2, 2024 · 320fe3c · 320fe3c
2 parents 69b426e + 2a642fd
commit 320fe3c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/dev/db b/dev/db
@@ -5,6 +5,7 @@ load_printer config.cma
 load_printer boot.cma
 load_printer clib.cma
 load_printer coqperf.cma
+load_printer memprof_limits.cma
 load_printer lib.cma
 load_printer gramlib.cma
 load_printer coqrun.cma