Improve compatibility

This commit is contained in:
Pedro Alves 2021-02-08 20:01:20 +00:00
parent d88ea4211a
commit c490e4c59c

View file

@ -116,18 +116,18 @@ in
}; };
configure = mkOption { configure = mkOption {
type = types.attrsOf types.anything; type = types.attrs;
default = { }; default = { };
}; };
options = mkOption { options = mkOption {
type = types.attrsOf types.anything; type = types.attrs;
default = { }; default = { };
description = "The configuration options, e.g. line numbers"; description = "The configuration options, e.g. line numbers";
}; };
globals = mkOption { globals = mkOption {
type = types.attrsOf types.anything; type = types.attrs;
default = { }; default = { };
description = "Global variables"; description = "Global variables";
}; };