diff --git a/Rubi/Rubi.m b/Rubi/Rubi.m index 8a7b331..580051e 100755 --- a/Rubi/Rubi.m +++ b/Rubi/Rubi.m @@ -472,7 +472,7 @@ 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]]; + Limit[result, x -> b, Direction -> 1] - Limit[result, x -> a, Direction -> -1]]; Int[{u__}, x_Symbol] := Map[Function[Int[#, x]], {u}];