Remove some unused code

HOL-Theorem-Prover · Aug 20, 2024 · 257a822 · 257a822
1 parent 88b6c88
commit 257a822
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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