1.1 --- a/test/Tools/isac/BridgeLibisabelle/use-cases.sml	Tue Sep 06 11:47:00 2022 +0200
     1.2 +++ b/test/Tools/isac/BridgeLibisabelle/use-cases.sml	Wed Sep 07 10:58:12 2022 +0200
     1.3 @@ -673,7 +673,8 @@
     1.4        ---- rat-eq + subpbl: set_found in check_tac1 ----*)
     1.5   CalcTree
     1.6   [(["equality ((5*x)/(x - 2) - x/(x+2)=(4::real))", "solveFor x", "solutions L"],
     1.7 -   ("RatEq", ["univariate", "equation"], ["no_met"]))];
     1.8 +   ((** )"RatEq"( **)"PolyEq"(*required for "make_ratpoly_in"*), 
     1.9 +    ["univariate", "equation"], ["no_met"]))];
    1.10   Iterator 1;
    1.11   moveActiveRoot 1; 
    1.12   fetchProposedTactic 1;