From 9872966d3c7a97ce8cd9ef16ab934ffa09c23e13 Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko
Date: Tue, 4 Jan 2022 12:47:27 -0800
Subject: one remark

---
 src/main.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/main.ml')

diff --git a/src/main.ml b/src/main.ml
index 4616aadf..546f09a8 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -10,7 +10,8 @@ type test = Test [@@deriving show]
 let _ = show_test Test
 
 (* This is necessary to have a backtrace when raising exceptions - for some
- * reason, the -g option doesn't work *)
+ * reason, the -g option doesn't work.
+ * JP: are you running with OCAMLRUNPARAM=b=1? *)
 let () = Printexc.record_backtrace true
 
 let usage = Printf.sprintf {|Aenaes: verification of Rust programs by translation
-- 
cgit v1.2.3