Typo.

RuleBasedIntegration · Feb 14, 2024 · 8a39510 · 8a39510
1 parent 97db26f
commit 8a39510
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Rubi/Rubi.m b/Rubi/Rubi.m
@@ -469,7 +469,7 @@
 (* Define Unintegrable and CannotIntegrate*)
 
 
-Int::definite = "Rubi does not check the domain of integration is continuous.";
+Int::definite = "Rubi does not check that 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]];