diff --git a/src/Engine.ml b/src/Engine.ml
index c6ba9d450f55ee39affe55e8a66ef94b1edab347..3fac897c8a512be47f4a4891b5431a2f1aaaeed7 100644
--- a/src/Engine.ml
+++ b/src/Engine.ml
@@ -4,7 +4,7 @@
(* *)
(* François Pottier, Inria Paris *)
(* Yann Régis-Gianas, PPS, Université Paris Diderot *)
-(* *)
+(* *)
(* Copyright Inria. All rights reserved. This file is distributed under the *)
(* terms of the GNU Library General Public License version 2, with a *)
(* special exception on linking, as described in the file LICENSE. *)
@@ -825,17 +825,17 @@ module Make (T : TABLE) = struct
(* The following functions are compositions of [top] and [pop]. *)
- let rec drop i env =
+ let rec pop_many i env =
if i = 0 then
Some env
else match pop env with
| None ->
None
| Some env ->
- drop (i - 1) env
+ pop_many (i - 1) env
let get i env =
- match drop i env with
+ match pop_many i env with
| None ->
None
| Some env ->
diff --git a/src/IncrementalEngine.ml b/src/IncrementalEngine.ml
index 3081251fd3a170319013981634129d475d7b4cab..ed0f10d339f51e29151e146969febc3aa3141e55 100644
--- a/src/IncrementalEngine.ml
+++ b/src/IncrementalEngine.ml
@@ -267,11 +267,11 @@ module type INCREMENTAL_ENGINE = sig
val top: 'a env -> element option
- (* [drop i env] pops [i] cells off the automaton's stack. This is done by
- invoking [pop] [i] times in succession. Thus, [drop 1] is [pop]. The
+ (* [pop_many i env] pops [i] cells off the automaton's stack. This is done by
+ invoking [pop] [i] times in succession. Thus, [pop_many 1] is [pop]. The
index [i] must be nonnegative. The time complexity is O(i). *)
- val drop: int -> 'a env -> 'a env option
+ val pop_many: int -> 'a env -> 'a env option
(* [get i env] returns the parser's [i]-th stack cell. The index [i] is
0-based: thus, [get 0] is [top]. If [i] is greater than or equal to the