1.1 --- a/src/Tools/isac/Knowledge/Rational.thy	Sat Aug 14 15:18:48 2021 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Rational.thy	Sat Aug 14 16:07:07 2021 +0200
     1.3 @@ -237,7 +237,7 @@
     1.4  
     1.5  (* prepare a term for cancellation by factoring out the gcd
     1.6    assumes: is a fraction with outmost "/"*)
     1.7 -fun factout_p_ (thy: theory) t =
     1.8 +fun factout_p_ (_: theory) t =
     1.9    let val opt = check_fraction t
    1.10    in
    1.11      case opt of