# HG changeset patch
# User Kris Thielemans <kris.f.thielemans@gmail.com>
# Date 1323795156 0
# Node ID fafd2f45bfa5db941b6212ef5d7b453324e844bf
# Parent  8c327d185f5fcf050e44c0a852052d341ea2614a
Change "default_save_format" to "default_save_options" in former_built_in_variables list.

* pt-assign.cc (former_built_in_variables): Change "default_save_format"
to "default_save_options".

diff -r 8c327d185f5f -r fafd2f45bfa5 src/pt-assign.cc
--- a/src/pt-assign.cc	Tue Dec 13 16:53:56 2011 +0000
+++ b/src/pt-assign.cc	Tue Dec 13 16:52:36 2011 +0000
@@ -73,7 +73,7 @@
   "debug_on_interrupt",
   "debug_on_warning",
   "debug_symtab_lookups",
-  "default_save_format",
+  "default_save_options",
   "echo_executing_commands",
   "fixed_point_format",
   "gnuplot_binary",