From 088597b8d155b7f0884fa4e147311e9397f2f878 Mon Sep 17 00:00:00 2001
From: Petar Maksimovic <petar.maksimovic@runtimeverification.com>
Date: Mon, 2 Sep 2024 11:04:04 +0100
Subject: [PATCH] adding auxiliary lemmas

---
 kontrol.toml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kontrol.toml b/kontrol.toml
index 745e6407..288f45b3 100644
--- a/kontrol.toml
+++ b/kontrol.toml
@@ -6,6 +6,7 @@ verbose                    = true
 debug                      = false
 require                    = 'test/kontrol/lido-lemmas.k'
 module-import              = 'VetoSignallingTest:LIDO-LEMMAS'
+auxiliary-lemmas           = true
 
 [prove.default]
 foundry-project-root       = '.'