work around thmtools bug that generates wrong links

OpenLogicProject · Nov 17, 2024 · 6fd2c17 · 6fd2c17
1 parent cf2f78a
commit 6fd2c17
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/sty/open-logic.sty b/sty/open-logic.sty
@@ -54,7 +54,8 @@
 \definecolor{reflex-blue}{RGB}{12, 28, 140}
 
 \RequirePackage{hyperref}
-\hypersetup{breaklinks,
+\hypersetup{hypertexnames=false,
+  breaklinks,
   bookmarks,
   bookmarksopen,
   bookmarksopenlevel=1,