From 257a82233211da227f76888bb05d6fce7c91769c Mon Sep 17 00:00:00 2001
From: Michael Norrish <michael.norrish@anu.edu.au>
Date: Tue, 20 Aug 2024 14:07:40 +1000
Subject: [PATCH] Remove some unused code

---
 src/postkernel/TheoryPP.sml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/postkernel/TheoryPP.sml b/src/postkernel/TheoryPP.sml
index fbc46e3403..2e9fd4d455 100644
--- a/src/postkernel/TheoryPP.sml
+++ b/src/postkernel/TheoryPP.sml
@@ -243,7 +243,6 @@ fun pp_struct (info_record : struct_info_record) = let
   fun pparent (s,i,j) = Thry s
 
   fun pr_bind(s, th, {private}) = let
-    val (tg, asl, w) = (Thm.tag th, Thm.hyp th, Thm.concl th)
     val addsbl = pr_list add_string (add_break(1,2))
   in
     if is_temp_binding s orelse private then nothing