diff --git a/Rubi/Rubi.m b/Rubi/Rubi.m index 2de7d22..8a7b331 100755 --- a/Rubi/Rubi.m +++ b/Rubi/Rubi.m @@ -469,7 +469,7 @@ (* Define Unintegrable and CannotIntegrate*) -Int::definite = "Rubi does not check that the domain of integration is continuous."; +Int::definite = "Rubi does not check whether the domain of integration is continuous."; Int[u_, {x_Symbol, a_, b_}] := With[{result = Int[u, x]}, Message[Int::definite]; Limit[result, x -> b] - Limit[result, x -> a]];