1.1 --- a/src/Tools/isac/BaseDefinitions/termC.sml	Thu Sep 16 12:23:57 2021 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/termC.sml	Thu Sep 16 17:23:54 2021 +0200
     1.3 @@ -629,7 +629,7 @@
     1.4  val poly_consts = (* TODO: adopt syntax-const from Isabelle*)
     1.5    [\<^const_name>\<open>plus\<close>, \<^const_name>\<open>minus\<close>,
     1.6    \<^const_name>\<open>divide\<close>, \<^const_name>\<open>times\<close>,
     1.7 -  \<^const_name>\<open>powr\<close>];
     1.8 +  \<^const_name>\<open>realpow\<close>];
     1.9  (* treat Free, Const, Var as variables in polynomials *)
    1.10  fun vars_of t =
    1.11    let