From 364902a41bf9e01bb749f0bf44f054db0b8ec686 Mon Sep 17 00:00:00 2001
From: pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 28 Apr 2011 17:16:59 +0000
Subject: Attempt to use more local doc in coqide

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

(limited to 'ide/minilib.ml')

diff --git a/ide/minilib.ml b/ide/minilib.ml
index f072ff9fa..b1f85d2fe 100644
--- a/ide/minilib.ml
+++ b/ide/minilib.ml
@@ -56,7 +56,7 @@ let list_filter_i p =
   filter_i_rec 0
 
 let subst_command_placeholder s t =
-  Str.global_replace (Str.regexp_string "%s") s t
+  Str.global_replace (Str.regexp_string "%s") t s
 
 (* On win32, the home directory is probably not in $HOME, but in
    some other environment variable *)
-- 
cgit v1.2.3