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

diff --git a/src/libpspp/ll.h b/src/libpspp/ll.h
index bf871f6b..f59736f1 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