diff src/pt-assign.cc @ 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 922bfdd80413
children 72c96de7a403
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",