From 8a72970933994c9670e570fb6f3f768e14143237 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Wed, 2 May 2012 18:52:36 +0000
Subject: Fixed previous commit

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15272 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/preferences.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/ide/preferences.ml b/ide/preferences.ml
index 2303b0011b..b976eba3df 100644
--- a/ide/preferences.ml
+++ b/ide/preferences.ml
@@ -268,10 +268,9 @@ let save_pref () =
 
 let load_pref () =
   let () = try GtkData.AccelMap.load loaded_accel_file with _ -> () in
-  let p = current in
 
     let m = Config_lexer.load_file loaded_pref_file in
-    let np = { p with cmd_coqc = p.cmd_coqc } in
+    let np = current in
     let set k f = try let v = Minilib.Stringmap.find k m in f v with _ -> () in
     let set_hd k f = set k (fun v -> f (List.hd v)) in
     let set_bool k f = set_hd k (fun v -> f (bool_of_string v)) in
-- 
cgit v1.2.3