1.1 --- a/test/Tools/isac/ProgLang/listC.sml	Thu Nov 21 15:31:32 2019 +0100
     1.2 +++ b/test/Tools/isac/ProgLang/listC.sml	Mon Nov 25 16:39:52 2019 +0100
     1.3 @@ -94,7 +94,7 @@
     1.4  else error "LENGTH [1, 1, 1] = 3  ..list_rls changed";
     1.5  
     1.6  val t = str2term "LENGTH [1, 1, 1]";
     1.7 -val t = eval_listexpr_ thy list_rls t;
     1.8 +val t = eval_prog_expr thy list_rls t;
     1.9  case t of Free ("3", _) => () 
    1.10 -| _ => error "LENGTH [1, 1, 1] = 3  ..eval_listexpr_ changed";
    1.11 +| _ => error "LENGTH [1, 1, 1] = 3  ..eval_prog_expr changed";
    1.12