diff options
author | Clément Pit-Claudel <clement.pitclaudel@live.com> | 2018-09-01 13:08:48 -0400 |
---|---|---|
committer | Clément Pit-Claudel <clement.pitclaudel@live.com> | 2018-09-01 13:08:48 -0400 |
commit | 65d69a7a6a4a5aa5518fd55671d58b0b4a350fe2 (patch) | |
tree | 84981db4cca891b11f5efd795ad70da50cbbe4b3 /hol98 | |
parent | 6aeacf5863e6f22b86d9fb8e57380ca29fbfddaa (diff) |
Reloading proof-autoloads is safe; don't forbid it
Fixes GH-386.
Reported-by: @mrkkrp
Diffstat (limited to 'hol98')
0 files changed, 0 insertions, 0 deletions