X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Falgorithm.c;h=cfb1ba9fbf533ef55baefbeb06c594eaf9220611;hb=8fa7f3f6640c0eec450149cf5ccfab15d5391f55;hp=47343e3717f88d2cab15590598e2dbc6cba23449;hpb=3417680e253b1bfc4519347ef06536378026be2a;p=pspp

diff --git a/src/algorithm.c b/src/algorithm.c
index 47343e3717..cfb1ba9fbf 100644
--- a/src/algorithm.c
+++ b/src/algorithm.c
@@ -96,7 +96,6 @@
 #include <stdlib.h>
 #include <string.h>
 #include "alloc.h"
-#include "settings.h"
 
 /* Some of the assertions in this file are very expensive.  We
    don't use them by default. */