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