Paul Bernays

Results 1 issues of Paul Bernays

I can't see a reason not to load defaults when initialising an Options object (and the comment on line 158/96 suggests it's desired behaviour), so this calls `load_defaults` during init...