From a8cd37846d9f4a9215addd237120351052394ab1 Mon Sep 17 00:00:00 2001 From: ppedrot Date: Mon, 4 Jun 2012 15:43:14 +0000 Subject: Fixing #2803. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15419 85f007b7-540e-0410-9357-904b9bb8a0f7 --- ide/preferences.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'ide') diff --git a/ide/preferences.ml b/ide/preferences.ml index bc717a224..68ea907ce 100644 --- a/ide/preferences.ml +++ b/ide/preferences.ml @@ -317,7 +317,7 @@ let load_pref () = set_bool "auto_save" (fun v -> np.auto_save <- v); set_int "auto_save_delay" (fun v -> np.auto_save_delay <- v); set_pair "auto_save_name" (fun v1 v2 -> np.auto_save_name <- (v1,v2)); - set_hd "encoding_manual" (fun v -> np.encoding <- (inputenc_of_string v)); + set_hd "encoding" (fun v -> np.encoding <- (inputenc_of_string v)); set_hd "project_options" (fun v -> np.read_project <- (project_behavior_of_string v)); set_hd "project_file_name" (fun v -> np.project_file_name <- v); -- cgit v1.2.3