Reloading in the IDE does not reload library modules
With the IDE open, I made a change in a theory from stdlib that I was importing (adding an axiom). When reloading from within the IDE, this was not taken into account. Closing and reopening the IDE fixed the problem.