ue_01 not restarted in HOL library
- Product: Aleph
- Product Version: 20, 21, 22, 23
- Relevant for Installation Type: Dedicated-Direct, Direct, Local, Total Care
Description
ue_01 is not restarted in HOL library (xxx60) when aleph_startup is run.
Resolution
Add "xxx60" to the WORD_STARTUP_LIBS in the $alephe_root/aleph_start.private.
- Article last edited: 8-Apr-2019