remove unused field

2011-11-01 16:33:02 -06:00 · 2011-11-01 16:33:02 -06:00 · b42daeacf0
commit b42daeacf0
parent 3885f4683b
2 changed files with 0 additions and 4 deletions
--- 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();
--- 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;