1.1 --- a/test/Tools/isac/BridgeLibisabelle/thy-present.sml	Wed Oct 19 15:39:15 2022 +0200
     1.2 +++ b/test/Tools/isac/BridgeLibisabelle/thy-present.sml	Thu Oct 20 10:23:38 2022 +0200
     1.3 @@ -80,7 +80,7 @@
     1.4  "----------- debugging on Tests/solve_linear_as_rootpbl -";
     1.5  "----- initContext -----";
     1.6  States.reset ();
     1.7 -CalcTree 
     1.8 +CalcTree @{context} 
     1.9      [(["equality (1+- 1*2+x=(0::real))", "solveFor x", "solutions L"],
    1.10        ("Test",
    1.11         ["LINEAR", "univariate", "equation", "test"],
    1.12 @@ -104,7 +104,7 @@
    1.13  
    1.14  "----- checkContext -----";
    1.15  States.reset ();
    1.16 -CalcTree 
    1.17 +CalcTree @{context} 
    1.18      [(["equality (1+- 1*2+x=(0::real))", "solveFor x", "solutions L"],
    1.19        ("Test",
    1.20         ["LINEAR", "univariate", "equation", "test"],