X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fprocedure.c;h=5e013a14af767d80a097a4c46f577ed77c4c3210;hb=0fbcb6682003e6deb5f517c4d54bada0301a61a1;hp=b762214d10e20a33d6bbdf89ac52253a67589453;hpb=bd17d2af982332ee1791998361b1ac6731fe14fa;p=pspp

diff --git a/src/data/procedure.c b/src/data/procedure.c
index b762214d10..5e013a14af 100644
--- a/src/data/procedure.c
+++ b/src/data/procedure.c
@@ -682,7 +682,7 @@ dataset_end_of_command (struct dataset *ds)
       else
         {
           const struct taint *taint = casereader_get_taint (ds->source);
-          taint_reset_successor_taint ((struct taint *) taint);
+          taint_reset_successor_taint (CONST_CAST (struct taint *, taint));
           assert (!taint_has_tainted_successor (taint));
         }
     }