X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftemporary.c;h=ed456da5a85dc3db0d3ab3253764bea7b4252399;hb=c9b1c72477efa03e0a90f8afd9dafebc8f4b04ef;hp=316fd6498b468bfaac9442c2fe8f1f6a8445c4d7;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp

diff --git a/src/temporary.c b/src/temporary.c
index 316fd6498b..ed456da5a8 100644
--- a/src/temporary.c
+++ b/src/temporary.c
@@ -259,16 +259,6 @@ restore_dictionary (struct dictionary * d)
   free (default_dict.documents);
 
   /* 2. Copy dictionary D into the active file dictionary. */
-#if __CHECKER__
-  {
-    size_t offset;
-    
-    offset = offsetof (struct dictionary, filter_var) + sizeof d->filter_var;
-    strncpy (d->weight_var, d->weight_var, 9);
-    strncpy (d->filter_var, d->filter_var, 9);
-    memset (&((char *) d)[offset], '*', sizeof *d - offset);
-  }
-#endif
   default_dict = *d;
   if (!default_dict.var_by_name)
     {