model-checker: Fix memory leak in finish_mc().
authorBen Pfaff <blp@cs.stanford.edu>
Sat, 13 Jul 2013 02:47:30 +0000 (19:47 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Sat, 13 Jul 2013 03:40:53 +0000 (20:40 -0700)
commit8396e95f8f042b49bef6cc4ccb7fac05b6b85244
tree22bf10d68a31c67ae295ddffd7f4c8562ce6b32f
parent8313a367f11ff6fba2c40d619fbc54e73a4c125d
model-checker: Fix memory leak in finish_mc().

This memory leak was visible only when the model checker was configured
with a particular path to follow.
src/libpspp/model-checker.c