diff options
Diffstat (limited to 'kernel/csymtable.ml')
| -rw-r--r-- | kernel/csymtable.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/csymtable.ml b/kernel/csymtable.ml index d00a20a802..146b6a1ec9 100644 --- a/kernel/csymtable.ml +++ b/kernel/csymtable.ml @@ -115,7 +115,7 @@ and slot_for_fv env fv = match !nv with | VKvalue (v,_) -> v | VKnone -> - let (_, b, _) = Sign.lookup_named id env.env_named_context in + let (_, b, _) = Context.lookup_named id env.env_named_context in let v,d = match b with | None -> (val_of_named id, Id.Set.empty) |