X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fscratch-handle.c;h=4c0513f82e0ce40a5730721f2bf6344a706f23ec;hb=f5c108becd49d78f4898cab11352291f5689d24e;hp=0ac56433812d83040e7d507bb8e98f29f82d5611;hpb=7eee0554f378481faf447e2d2e940f389d6b05ec;p=pspp-builds.git diff --git a/src/data/scratch-handle.c b/src/data/scratch-handle.c index 0ac56433..4c0513f8 100644 --- a/src/data/scratch-handle.c +++ b/src/data/scratch-handle.c @@ -24,9 +24,9 @@ /* Destroys HANDLE. */ void -scratch_handle_destroy (struct scratch_handle *handle) +scratch_handle_destroy (struct scratch_handle *handle) { - if (handle != NULL) + if (handle != NULL) { dict_destroy (handle->dictionary); casereader_destroy (handle->casereader);