SourceExprCommand::getSourceExpr(): Allocate more space

Fixes #3140.
This commit is contained in:
Eelco Dolstra 2019-10-21 13:14:39 +02:00
parent 37e45dac8c
commit 389a2cebed
No known key found for this signature in database
GPG key ID: 8170B4726D7198DE

View file

@ -39,7 +39,7 @@ Value * SourceExprCommand::getSourceExpr(EvalState & state)
auto searchPath = state.getSearchPath();
state.mkAttrs(*vSourceExpr, searchPath.size() + 1);
state.mkAttrs(*vSourceExpr, 1024);
mkBool(*state.allocAttr(*vSourceExpr, sToplevel), true);