X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffont.h;h=e4b327830e832ca7f6bc89bfa94f3fed6f62bc14;hb=53ceff2865473a6b561b521986fafd31a993a1a6;hp=a709667c88d6218f522923e78f74f10a51fc183a;hpb=2990bac9e19a4a92606c830ab39ef3eb1e555481;p=pspp

diff --git a/src/font.h b/src/font.h
index a709667c88..e4b327830e 100644
--- a/src/font.h
+++ b/src/font.h
@@ -103,13 +103,6 @@ struct font_desc
 /* Index into deref[] of character with name "space". */
 extern int space_index;
 
-/* A set of fonts. */
-struct font_set
-  {
-    struct font_set *next, *prev;	/* Next, previous in chain. */
-    struct font_desc *font;		/* Current font. */
-  };
-
 /* Functions to work with any font. */
 #define destroy_font(FONT) 			\
 	pool_destroy (FONT->owner)