From c2eac5e2c34bc5bc8ad5d6ebcc1ecbd53e0b114b Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 13 Aug 2022 13:30:03 -0400
Subject: [PATCH] update doc

---
 src/tef/Sidekick_tef.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tef/Sidekick_tef.mli b/src/tef/Sidekick_tef.mli
index 28c36807..8766d4a6 100644
--- a/src/tef/Sidekick_tef.mli
+++ b/src/tef/Sidekick_tef.mli
@@ -5,7 +5,7 @@
     profiling probes will emit TEF events.
 
     Profiling is enabled if {!setup} is called, and if
-    the environment variable "TEF" is set to "1" or "true".
+    the environment variable "TRACE" is set to "1" or "true".
     The trace is emitted in the file "trace.json.gz" in the directory
     where the solver is launched; you can open it in
     chrome/chromium at "chrome://tracing".