diff options
Diffstat (limited to 'engine/termops.ml')
| -rw-r--r-- | engine/termops.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/engine/termops.ml b/engine/termops.ml index c52f96079..51fc59289 100644 --- a/engine/termops.ml +++ b/engine/termops.ml @@ -974,9 +974,6 @@ let count_occurrences sigma m t = countrec m t; !n -(* Synonymous *) -let occur_term = dependent - let pop t = EConstr.Vars.lift (-1) t (***************************) |