changeset 73340 | 0ffcad1f6130 |
parent 73031 | f93f0597f4fb |
child 73359 | d8a0e996614b |
--- a/src/Pure/Thy/export_theory.scala Mon Mar 01 20:12:09 2021 +0100 +++ b/src/Pure/Thy/export_theory.scala Mon Mar 01 22:22:12 2021 +0100 @@ -405,7 +405,7 @@ var seen = Set.empty[Long] var result = SortedMap.empty[Long, (Thm_Id, Proof)] - def boxes(context: Option[(Long, Term.Proof)], prf: Term.Proof) + def boxes(context: Option[(Long, Term.Proof)], prf: Term.Proof): Unit = { prf match { case Term.Abst(_, _, p) => boxes(context, p)