Ignore traces by default

effekt-lang · Jun 28, 2024 · 2f09b30 · 2f09b30
1 parent 7ecba79
commit 2f09b30
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/_examples/choreo.md b/_examples/choreo.md
@@ -359,7 +359,7 @@ def main() = eventloop(box {
     with network(channels);
     with catalog;
     with input;
-    with report; // change to report to see traces
+    with ignore; // change to report to see traces
 
     epp([Exists(buyer), Exists(seller)], buyer) { bookseller(buyer, seller) }
     })
@@ -368,7 +368,7 @@ def main() = eventloop(box {
     with network(channels);
     with catalog;
     with input;
-    with report;
+    with ignore;  // change to report to see traces
 
     epp([Exists(buyer), Exists(seller)], seller) { bookseller(buyer, seller) }
   })