diff --git a/debugAdapterVSCode/package.json b/debugAdapterVSCode/package.json
index 93f208c..418cd0d 100644
--- a/debugAdapterVSCode/package.json
+++ b/debugAdapterVSCode/package.json
@@ -35,13 +35,12 @@
         "initialConfigurations": [
           {
             "type": "dcal",
+            "name": "dcal",
             "request": "attach",
-            "name": "DCal DSL",
-            "stopOnEntry": true,
-            "port": 4711
+            "debugServer": 4711
           }
         ]
       }
     ]
   }
-}
\ No newline at end of file
+}
diff --git a/langs/tla/TLAParser.test.scala b/langs/tla/TLAParser.test.scala
index f6dbffa..3100564 100644
--- a/langs/tla/TLAParser.test.scala
+++ b/langs/tla/TLAParser.test.scala
@@ -16,6 +16,8 @@ package forja.langs.tla
 
 import forja.*
 import forja.source.{Source, SourceRange}
+// import forja.dsl.*
+// import forja.manip.DebugAdapter
 
 class TLAParserTests extends munit.FunSuite, test.WithTLACorpus:
   self =>
@@ -29,14 +31,8 @@ class TLAParserTests extends munit.FunSuite, test.WithTLACorpus:
 
     assume(!top.hasErrors, top)
 
-    TLAParser(
-      top,
-      // tracer = DebugAdapter(
-      //   "localhost",
-      //   4711
-      // )
-      // , tracer = Manip.RewriteDebugTracer(os.pwd / "dbg_passes")
-    )
+    // instrumentWithTracer(DebugAdapter("localhost", 4711)):
+    //   TLAParser(top)
 
     // re-enable if interesting:
     // val folder = os.SubPath(file.subRelativeTo(clonesDir).segments.init)