Can’t get script "FileManagerLib" whose version ≥ "2.3.5"

I put version 2.3.0 into a folder in /Library/Script Libraries and the moved version 2.3.5 into /Library/Script Libraries.

When I change the version number and try to compile the script I cannot with error
Can’t get script “FileManagerLib” whose version ≥ “2.3.5”
-1,728

The top of the script is
use AppleScript version “2.4” – Yosemite (10.10) or later
–use script “FileManagerLib” version “2.3.0”
use script “FileManagerLib” version “2.3.5”
use scripting additions

Am I doing something wrong?

Try quitting Script Debugger and relaunching it.

That worked. Thanks.

The version comes from a library bundle’s Info.plist info, and the system seems to cache that, and disallows changes (presumably for security reasons). In other words, there’s not much we can do about it.