fix(library/kernel_bindings): use standard environment in import_modules
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
parent
eca906b074
commit
75117bede8
1 changed files with 1 additions and 1 deletions
|
@ -1182,7 +1182,7 @@ static int import_modules(lua_State * L) {
|
|||
if (is_environment(L, 1))
|
||||
return import_modules(to_environment(L, 1), L, 2);
|
||||
else
|
||||
return import_modules(environment(), L, 1);
|
||||
return import_modules(mk_environment(), L, 1);
|
||||
}
|
||||
|
||||
static int import_hott_modules(lua_State * L) {
|
||||
|
|
Loading…
Reference in a new issue