X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=src%2Flibpspp%2Fll.h;h=f59736f1e71c7d3d88990f4a8702405558abe8cf;hb=fa61f97cbbd1246c659d4d07b302c1a02cafcd97;hp=bf871f6b0f842a0a42726de48364aad08ea4d3ea;hpb=7c08a6e1009cf60847e770a77a73c650e9326379;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