X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffile-type.c;h=b0ed4607f06625071ff2941f30dee15ad6939e79;hb=b26094b483f97d89025df65a30523a65e716790a;hp=3400c8a0fc109a59bf9999d5af7676cb68a3d352;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp

diff --git a/src/file-type.c b/src/file-type.c
index 3400c8a0fc..b0ed4607f0 100644
--- a/src/file-type.c
+++ b/src/file-type.c
@@ -405,11 +405,6 @@ internal_cmd_record_type (void)
   rct.ft = n_trns;
   if (fty.case_sbc.name[0])
     rct.case_sbc = fty.case_sbc;
-#if __CHECKER__
-  else
-    memset (&rct.case_sbc, 0, sizeof rct.case_sbc);
-  rct.lt = -1;
-#endif
 
   /* Make sure we're inside a FILE TYPE structure. */
   if (pgm_state != STATE_INPUT || vfm_source != &file_type_source)