1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Thu Dec 08 10:16:40 2022 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Thu Dec 08 10:33:27 2022 +0100
     1.3 @@ -278,10 +278,10 @@
     1.4    ML_file "Specify/cas-command.sml"
     1.5    ML_file "Specify/p-spec.sml"
     1.6    ML_file "Specify/specify.sml"
     1.7 +  ML_file "Specify/sub-problem.sml"
     1.8    ML_file "Specify/step-specify.sml"
     1.9  
    1.10    ML_file "Interpret/istate.sml"
    1.11 -  ML_file "Interpret/sub-problem.sml"
    1.12    ML_file "Interpret/error-pattern.sml"
    1.13    ML_file "Interpret/li-tool.sml"
    1.14    ML_file "Interpret/lucas-interpreter.sml"