diff options
Diffstat (limited to 'kernel/pre_env.ml')
| -rw-r--r-- | kernel/pre_env.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kernel/pre_env.ml b/kernel/pre_env.ml index 3d2f19aac..476a92bed 100644 --- a/kernel/pre_env.ml +++ b/kernel/pre_env.ml @@ -93,8 +93,8 @@ let lookup_rel_val n env = let env_of_rel n env = { env with - env_rel_context = Util.list_skipn n env.env_rel_context; - env_rel_val = Util.list_skipn n env.env_rel_val; + env_rel_context = Util.List.skipn n env.env_rel_context; + env_rel_val = Util.List.skipn n env.env_rel_val; env_nb_rel = env.env_nb_rel - n } |