"Cannot find source file for module TLAPS imported in module"

[thomas...@gmail.com]

When I try and go through the TLAPS example here (https://tla.msr-inria.inria.fr/tlaps/content/Documentation/Tutorial/Hierarchical_proofs.html), I get an error claiming it cannot find the TLAPS module.  

Is there another .TLA file I need to import?

[thomas...@gmail.com]

I'm a goofball. I didn't add the folder for /usr/local/lib/tlaps in the Toolbox.