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