diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 28b415bd44e..17fafa121f0 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2013-11-26  Richard Biener  <rguenther@suse.de>
+
+	* pretty-print.c (output_buffer::~output_buffer): Really
+	free the obstacks.
+
 2013-11-25  Jeff Law  <law@redhat.com>
 
 	* tree-ssa-threadupdate.c (thread_through_all_blocks): Selectively
diff --git a/gcc/pretty-print.c b/gcc/pretty-print.c
index 8cec71b762a..955a4c45f7b 100644
--- a/gcc/pretty-print.c
+++ b/gcc/pretty-print.c
@@ -50,8 +50,8 @@ output_buffer::output_buffer ()
 
 output_buffer::~output_buffer ()
 {
-  obstack_free (&chunk_obstack, obstack_finish (&chunk_obstack));
-  obstack_free (&formatted_obstack, obstack_finish (&formatted_obstack));
+  obstack_free (&chunk_obstack, NULL);
+  obstack_free (&formatted_obstack, NULL);
 }
 
 /* A pointer to the formatted diagnostic message.  */