From de434fd933a07fba80d16441a5cd70ebebcde518 Mon Sep 17 00:00:00 2001
From: Frans Kaashoek <kaashoek@mit.edu>
Date: Thu, 27 Aug 2020 07:05:13 -0400
Subject: [PATCH] Remove obselete ifdef that shouldn't have been there ever

---
 user/usertests.c | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/user/usertests.c b/user/usertests.c
index db042e6..004c948 100644
--- a/user/usertests.c
+++ b/user/usertests.c
@@ -2723,12 +2723,8 @@ main(int argc, char *argv[])
   }
 
   printf("usertests starting\n");
-#ifdef SOL_LAZY1
-  int free0 = 32*1024*1024;
-#else
   int free0 = countfree();
   int free1 = 0;
-#endif
   int fail = 0;
   for (struct test *t = tests; t->s != 0; t++) {
     if((justone == 0) || strcmp(t->s, justone) == 0) {