1.1 --- a/src/Tools/isac/BaseDefinitions/termC.sml	Sun May 02 15:55:37 2021 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/termC.sml	Mon May 03 08:49:50 2021 +0200
     1.3 @@ -577,7 +577,7 @@
     1.4  val poly_consts = (* TODO: adopt syntax-const from Isabelle*)
     1.5    ["Groups.plus_class.plus", "Groups.minus_class.minus",
     1.6    "Rings.divide_class.divide", "Groups.times_class.times",
     1.7 -  "Prog_Expr.pow"];
     1.8 +  "Transcendental.powr"];
     1.9  (* treat Free, Const, Var as variables in polynomials *)
    1.10  fun vars_of t =
    1.11    let