Index: genarch/src/mm/page_ht.c
===================================================================
--- genarch/src/mm/page_ht.c	(revision ef67bab91625cc0f0eaecd741316d269bbfd5094)
+++ genarch/src/mm/page_ht.c	(revision 4e147a6b5728fbdb666c31b993900fd3d6681518)
@@ -57,5 +57,5 @@
 page_operations_t page_ht_operations = {
 	.mapping_insert = ht_mapping_insert,
-	.mapping_find = ht_mapping_find,
+	.mapping_find = ht_mapping_find
 };