diff --git a/src/racket/src/module.c b/src/racket/src/module.c
index 0066213ec3..86aeb2e957 100644
--- a/src/racket/src/module.c
+++ b/src/racket/src/module.c
@@ -517,8 +517,6 @@ void scheme_finish_kernel(Scheme_Env *env)
       }
     }
 
-    kernel->no_cert = 1;
-
     {
       Scheme_Module_Exports *me;
       me = scheme_make_module_exports();
diff --git a/src/racket/src/schpriv.h b/src/racket/src/schpriv.h
index 7ab7c021a5..d98655a1e8 100644
--- a/src/racket/src/schpriv.h
+++ b/src/racket/src/schpriv.h
@@ -3010,8 +3010,6 @@ typedef struct Scheme_Module
 
   Scheme_Object **bodies; /* array `num_phases' long */
 
-  char no_cert;
-  
   struct Scheme_Module_Exports *me;
 
   int num_phases;