commented out DAP

ProgrammedByHussain · ProgrammedByHussain · commit 5db790cb4deb · 2025-05-29T13:50:16.000-04:00
diff --git a/langs/tla/TLAParser.test.scala b/langs/tla/TLAParser.test.scala
@@ -31,8 +31,8 @@ class TLAParserTests extends munit.FunSuite, test.WithTLACorpus:
 
     assume(!top.hasErrors, top)
 
-    instrumentWithTracer(DebugAdapter("localhost", 4711)):
-      TLAParser(top)
+    // instrumentWithTracer(DebugAdapter("localhost", 4711)):
+    //   TLAParser(top)
     
 
     // re-enable if interesting:
