diff --git a/backend/cn/main.ml b/backend/cn/main.ml
index eeaaec540..45d7d6e56 100644
--- a/backend/cn/main.ml
+++ b/backend/cn/main.ml
@@ -61,7 +61,7 @@ let frontend incl_dirs incl_files astprints filename state_file =
   Cerb_global.set_cerb_conf "Cn" false Random false Basic false false false false false;
   Ocaml_implementation.set Ocaml_implementation.HafniumImpl.impl;
   Switches.set ["inner_arg_temps"; "at_magic_comments"; "warn_mismatched_magic_comments"];
-  Core_peval.config_unfold_stdlib := Sym.has_id_with Setup.unfold_stdlib_name;
+(*  Core_peval.config_unfold_stdlib := Sym.has_id_with Setup.unfold_stdlib_name; *)
   let@ stdlib = load_core_stdlib () in
   let@ impl = load_core_impl stdlib impl_name in
   let conf = Setup.conf incl_dirs incl_files astprints in