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}