summaryrefslogtreecommitdiff
path: root/testsuite/tests/statmemprof/alloc_counts.ml
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/statmemprof/alloc_counts.ml')
-rw-r--r--testsuite/tests/statmemprof/alloc_counts.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/statmemprof/alloc_counts.ml b/testsuite/tests/statmemprof/alloc_counts.ml
index de0d1e9e49..ce8a90fc04 100644
--- a/testsuite/tests/statmemprof/alloc_counts.ml
+++ b/testsuite/tests/statmemprof/alloc_counts.ml
@@ -1,6 +1,6 @@
(* TEST
-* skip
-reason = "port stat-mem-prof : https://github.com/ocaml/ocaml/pull/8634"
+ reason = "port stat-mem-prof : https://github.com/ocaml/ocaml/pull/8634";
+ skip;
*)
module MP = Gc.Memprof