From ccb20094cf929e32c7af0ee2a1423ecaec3bca13 Mon Sep 17 00:00:00 2001
From: liy94 <yifei.li@vanderbilt.edu>
Date: Mon, 1 Jul 2024 12:08:09 -0500
Subject: [PATCH] added commandInterface text description for FetchConstraints

---
 Src/CommandLine/CommandInterface.cs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Src/CommandLine/CommandInterface.cs b/Src/CommandLine/CommandInterface.cs
index 232fad2..ad6b2ae 100644
--- a/Src/CommandLine/CommandInterface.cs
+++ b/Src/CommandLine/CommandInterface.cs
@@ -65,6 +65,7 @@ private enum WatchLevelKind { Off, On, Prompt };
         private const string WatchMsg = "Use: watch [off | on | prompt] to control watch behavior";
         private const string CoreMsg = "Prints reduced rule set for domains / transforms. Use: core module_name";
         private const string DowngradeMsg = "Attempts to downgrade a (partial) model to Formula V1. Use: downgrade module_name";
+        private const string FetchConstraints = "Attemps to fetch the constraints in the domain"
 
         private SpinLock cmdLock = new SpinLock();
         private bool isCmdLocked = false;