X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fprocedure.c;h=5e013a14af767d80a097a4c46f577ed77c4c3210;hb=refs%2Ftags%2Fv0.7.4;hp=b762214d10e20a33d6bbdf89ac52253a67589453;hpb=b5c82cc9aabe7e641011130240ae1b2e84348e23;p=pspp-builds.git

diff --git a/src/data/procedure.c b/src/data/procedure.c
index b762214d..5e013a14 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));
         }
     }