From 88d5077552923f71f747beeb01d4a6584a9cfca3 Mon Sep 17 00:00:00 2001
From: Samyak Jain <jainsamyak107@gmail.com>
Date: Thu, 19 Sep 2024 14:36:29 -0400
Subject: [PATCH] Resolved merge conflict between fix-save-button and main

---
 src/ui/MiningRules/minedRulesComponent.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ui/MiningRules/minedRulesComponent.js b/src/ui/MiningRules/minedRulesComponent.js
index f6c5fff..da00e5b 100644
--- a/src/ui/MiningRules/minedRulesComponent.js
+++ b/src/ui/MiningRules/minedRulesComponent.js
@@ -273,7 +273,7 @@ class MinedRulesComponent extends Component {
                         onChange={this.handleColorCodingToggle}
                         style={{marginRight: "10px"}}
                     />
-                    Highlight Code by Rule Probability
+                    Highlight Code Elements Based On Their Likelihood Of Being Part Of A Rule
                 </div>
                 <div className={"descriptionContainer"}>
                     <span className={"descriptionTitle"}>Tutorial</span>