1 files changed, 0 insertions, 1 deletions
diff --git a/configure b/configure
index 027a718140..3ca13a6ce1 100755
--- a/configure
+++ b/configure
@@ -1384,7 +1384,6 @@ if test "$xen" != "no" ; then
   # Xen (any)
   cat > $TMPC <<EOF
 #include <xenctrl.h>
-#include <xs.h>
 int main(void) {
   return 0;
 }