X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fll.h;h=f59736f1e71c7d3d88990f4a8702405558abe8cf;hb=6eeee3ec27d9e75cba2f390fc7dceef7ff38c2f3;hp=bf871f6b0f842a0a42726de48364aad08ea4d3ea;hpb=d0b91eae59319ab2756d0d43b9cb15eb9cd3c234;p=pspp

diff --git a/src/libpspp/ll.h b/src/libpspp/ll.h
index bf871f6b0f..f59736f1e7 100644
--- a/src/libpspp/ll.h
+++ b/src/libpspp/ll.h
@@ -52,8 +52,6 @@
 #include <stddef.h>
 #include <libpspp/cast.h>
 
-#include <libpspp/cast.h>
-
 /* Embedded, circular doubly linked list.
 
    Each list contains a single "null" element that separates the