diff options
Diffstat (limited to 'interp/decls.ml')
| -rw-r--r-- | interp/decls.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/interp/decls.ml b/interp/decls.ml index ef22a393e4..d9d33b5e0b 100644 --- a/interp/decls.ml +++ b/interp/decls.ml @@ -67,14 +67,14 @@ type variable_data = { let vartab = Summary.ref (Id.Map.empty : (variable_data*DirPath.t) Id.Map.t) ~name:"VARIABLE" -let add_variable_data id o = vartab := Id.Map.add id (o,Lib.cwd()) !vartab +let secpath () = drop_dirpath_prefix (Lib.library_dp()) (Lib.cwd()) +let add_variable_data id o = vartab := Id.Map.add id (o,secpath()) !vartab -let variable_path id = let _,path = Id.Map.find id !vartab in path let variable_opacity id = let {opaque},_ = Id.Map.find id !vartab in opaque let variable_kind id = let {kind},_ = Id.Map.find id !vartab in kind let variable_secpath id = - let dir = drop_dirpath_prefix (Lib.library_dp()) (variable_path id) in + let _, dir = Id.Map.find id !vartab in make_qualid dir id let variable_exists id = Id.Map.mem id !vartab |