Index: genarch/src/mm/page_ht.c
===================================================================
--- genarch/src/mm/page_ht.c	(revision ef67bab91625cc0f0eaecd741316d269bbfd5094)
+++ genarch/src/mm/page_ht.c	(revision 758e0656a7ae1a5fb7f2816ba0245ee9cf2ec832)
@@ -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
 };