# HG changeset patch
# User wenzelm
# Date 1660744564 -7200
# Node ID ffa97500a1acb0b0fe2c6d54cf69b87026614901
# Parent  61521fd28e9762df8a7678b9f65ad8535615e62f
unused;

diff -r 61521fd28e97 -r ffa97500a1ac src/Pure/Thy/presentation.scala
--- a/src/Pure/Thy/presentation.scala	Wed Aug 17 15:49:59 2022 +0200
+++ b/src/Pure/Thy/presentation.scala	Wed Aug 17 15:56:04 2022 +0200
@@ -188,8 +188,6 @@
 
   /* formal entities */
 
-  type Entity = Export_Theory.Entity[Export_Theory.No_Content]
-
   object Entity_Context {
     object Theory_Ref {
       def unapply(props: Properties.T): Option[Document.Node.Name] =