From fbf4d8573cede3f10ac5c9d9a6801eeb7832f48e Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Tue, 8 Apr 2025 09:17:03 +0200
Subject: [PATCH] fix blueprint

---
 blueprint/src/web.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/blueprint/src/web.tex b/blueprint/src/web.tex
index 57f3489..8e7b99c 100644
--- a/blueprint/src/web.tex
+++ b/blueprint/src/web.tex
@@ -8,7 +8,7 @@
 
 \usepackage{amssymb, amsthm, amsmath}
 \usepackage{hyperref}
-\usepackage[showmore, dep_graph,thms=defn+prop+lemma+cor]{blueprint}
+\usepackage[showmore, dep_graph]{blueprint}
 \usepackage{tikz-cd}
 % \usepackage{bussproofs}