changeset 14048:fafd2f45bfa5 stable

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".
author Kris Thielemans <kris.f.thielemans@gmail.com>
date Tue, 13 Dec 2011 16:52:36 +0000
parents 8c327d185f5f
children b5a8e245b4eb
files src/pt-assign.cc
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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",