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