1.1 --- a/test/Tools/isac/Interpret/error-pattern.sml	Fri Jan 06 11:32:57 2023 +0100
     1.2 +++ b/test/Tools/isac/Interpret/error-pattern.sml	Fri Jan 06 11:43:50 2023 +0100
     1.3 @@ -33,6 +33,7 @@
     1.4  "--------- build fun check_for' ?bdv -------------------------";
     1.5  "--------- build fun check_for ------------------------";
     1.6  "--------- embed fun check_for ------------------------";
     1.7 +"----------- re-build: fill_from_store without thy-hierarchy -----------------------------------";
     1.8  "--------- embed fun find_fill_patterns ---------------------------";
     1.9  "--------- build fun is_exactly_equal, inputFillFormula ----------";
    1.10  "--------- fun appl_adds -----------------------------------------";