From dd19a1258669b6db14fb34d7038273f5abb24578 Mon Sep 17 00:00:00 2001
From: samb <user@users-MacBook-Pro.local>
Date: Wed, 14 Feb 2024 12:53:48 +1100
Subject: [PATCH] David J edit.

---
 Rubi/Rubi.m | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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]];