diff --git a/iris_meta.v b/iris_meta.v
index 00721c79fce84957cc8d3901060ffd0c42587bdf..dc06b158d9771e69f29257a81ebd542c0cb5ce7f 100644
--- a/iris_meta.v
+++ b/iris_meta.v
@@ -536,6 +536,6 @@ Module Type IRIS_META (RL : VIRA_T) (C : CORE_LANG) (R: IRIS_RES RL C) (WP: WORL
 
 End IRIS_META.
 
-Module IrisMeta (RL : VIRA_T) (C : CORE_LANG) (R: IRIS_RES RL C) (WP: WORLD_PROP R) (CORE: IRIS_CORE RL C R WP) (PLOG: IRIS_PLOG RL C R WP CORE) : IRIS_META RL C R WP CORE PLOG.
-  Include IRIS_META RL C R WP CORE PLOG.
+Module IrisMeta (RL : VIRA_T) (C : CORE_LANG) (R: IRIS_RES RL C) (WP: WORLD_PROP R) (CORE: IRIS_CORE RL C R WP) (PLOG: IRIS_PLOG RL C R WP CORE) (HT_RULES: IRIS_HT_RULES RL C R WP CORE PLOG) : IRIS_META RL C R WP CORE PLOG HT_RULES.
+  Include IRIS_META RL C R WP CORE PLOG HT_RULES.
 End IrisMeta.