From dc052f88eb37eb7983637d78bb7b29a262ff1215 Mon Sep 17 00:00:00 2001
From: Robert Taylor <urbanfly@gmail.com>
Date: Tue, 2 Jul 2024 14:35:05 -0400
Subject: [PATCH] Add debugging hint to repl help

---
 src/org/rascalmpl/interpreter/Evaluator.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/org/rascalmpl/interpreter/Evaluator.java b/src/org/rascalmpl/interpreter/Evaluator.java
index 5183ce362d..f36939a9d5 100755
--- a/src/org/rascalmpl/interpreter/Evaluator.java
+++ b/src/org/rascalmpl/interpreter/Evaluator.java
@@ -1406,6 +1406,7 @@ public void printHelpMessage(PrintWriter out) {
         out.println("e.g. profiling    true/false");
         out.println("     tracing      true/false");
         out.println("     errors       true/false");
+        out.println("     debugging    true/false");
         out.println(":edit <modulename>         Opens an editor for that module");
         out.println(":test                      Runs all unit tests currently loaded");
         out.println();