From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 13 Jul 2013 02:47:30 +0000 (-0700)
Subject: model-checker: Fix memory leak in finish_mc().
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8396e95f8f042b49bef6cc4ccb7fac05b6b85244;p=pspp

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.
---

diff --git a/src/libpspp/model-checker.c b/src/libpspp/model-checker.c
index e0a0f71a62..02ae9e733b 100644
--- a/src/libpspp/model-checker.c
+++ b/src/libpspp/model-checker.c
@@ -1,5 +1,5 @@
 /* PSPP - a program for statistical analysis.
-   Copyright (C) 2007, 2009, 2010, 2011 Free Software Foundation, Inc.
+   Copyright (C) 2007, 2009, 2010, 2011, 2013 Free Software Foundation, Inc.
 
    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
@@ -1743,7 +1743,7 @@ finish_mc (struct mc *mc)
   /* Free memory. */
   mc_path_destroy (&mc->path);
   ds_destroy (&mc->path_string);
-  free (mc->options);
+  mc_options_destroy (mc->options);
   free (mc->queue);
   free (mc->hash);
 }