From 6943c776303f06d79cbca4e648304e0ef2b55cdc Mon Sep 17 00:00:00 2001
From: Themis Demetriades <td1223@ic.ac.uk>
Date: Fri, 6 Dec 2024 17:25:50 +0000
Subject: [PATCH] fix: re-enable shareable pages

---
 src/vm/page.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/vm/page.c b/src/vm/page.c
index 208e98a..fb94fa0 100644
--- a/src/vm/page.c
+++ b/src/vm/page.c
@@ -183,7 +183,6 @@ page_load_file (struct page_entry *page)
      panics as this should not happen if eviction is working correctly. */
   struct thread *t = thread_current ();
   bool shareable = !page->writable && file_compare (page->file, t->exec_file);
-  shareable = false;
   if (shareable)
     {
       lock_acquire (&shared_file_pages_lock);