1 files changed, 1 insertions, 1 deletions
diff --git a/library/summary.ml b/library/summary.ml
index b3ec4c2db2..d3ae42694a 100644
--- a/library/summary.ml
+++ b/library/summary.ml
@@ -153,7 +153,7 @@ let (!) r =
     CEphemeron.get (fst !r)
 
 let ref ?(freeze=fun x -> x) ~name init =
-  let r = Pervasives.ref (CEphemeron.create init, name) in
+  let r = pervasives_ref (CEphemeron.create init, name) in
   declare_summary name
     { freeze_function = (fun ~marshallable -> freeze !r);
       unfreeze_function = ((:=) r);