From e68738fa784fe2265436e0032ec82f71b286b6c1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= <frederic.blanqui@inria.fr>
Date: Thu, 18 Jul 2024 14:11:32 +0200
Subject: [PATCH] rename dummy_var into negated_conjecture

---
 main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.ml b/main.ml
index 6adde0d..b624342 100644
--- a/main.ml
+++ b/main.ml
@@ -184,7 +184,7 @@ let argspec = [
             "           print the proof in lambdapi term format";
   "-conj", Arg.Unit (fun () -> Globals.neg_conj :=
                                  (* keep space at the beginning *)
-                                 " __dummy_var__"),
+                                 " __negated_conjecture__"),
       "              indicate whether there is an explicit conjecture";
   "-check-axiom", Arg.Unit (fun () -> Globals.check_axiom := true),
       "       indicate whether this is a GDV leaf problem";