From 70e87f6e67198b1340dfffe1e2a7d741706125f9 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Tue, 10 Mar 2015 04:54:35 +0100
Subject: Fix documentation.

---
 engine/termops.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'engine')

diff --git a/engine/termops.mli b/engine/termops.mli
index 4581e23100..6c680005db 100644
--- a/engine/termops.mli
+++ b/engine/termops.mli
@@ -134,7 +134,7 @@ val pop : constr -> constr
 (** Substitution of an arbitrary large term. Uses equality modulo
    reduction of let *)
 
-(** [subst_term_gen eq d c] replaces [Rel 1] by [d] in [c] using [eq]
+(** [subst_term_gen eq d c] replaces [d] by [Rel 1] in [c] using [eq]
    as equality *)
 val subst_term_gen :
   (constr -> constr -> bool) -> constr -> constr -> constr
@@ -145,7 +145,7 @@ val replace_term_gen :
   (constr -> constr -> bool) ->
     constr -> constr -> constr -> constr
 
-(** [subst_term d c] replaces [Rel 1] by [d] in [c] *)
+(** [subst_term d c] replaces [d] by [Rel 1] in [c] *)
 val subst_term : constr -> constr -> constr
 
 (** [replace_term d e c] replaces [d] by [e] in [c] *)
-- 
cgit v1.2.3