[opentheory-users] opentheory tool unhandled exception

[Joe Hurd]

Hi Ramana,

> Sure, here's another one in the same vein.

Thanks for the bug report, I've installed a handler around this one:

$ bin/mosml/opentheory list
FATAL ERROR: opentheory failed:
couldn't open the theory directory /Users/joe/.opentheory
system error: openDir failed on `/Users/joe/.opentheory/repos': No
such file or directory

Cheers,

Joe