X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fsource-init-opts.c;h=61a108e0eec65cb4686fca5d8f1932024dfd771a;hb=5269c22bd135c65d5c8c9028c2ca2ae17cc6a192;hp=43ae5c629ac1098998c480a09175af95bd457326;hpb=9a331fe64eb814ae5c1322e21717a04fb254bf65;p=pspp-builds.git diff --git a/src/ui/source-init-opts.c b/src/ui/source-init-opts.c index 43ae5c62..61a108e0 100644 --- a/src/ui/source-init-opts.c +++ b/src/ui/source-init-opts.c @@ -20,7 +20,6 @@ #include #include #include -#include #include #include #include