From 27b5ff7c9c3fd488e35c8adaf0f24c50093ac96a Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 29 Oct 2015 17:53:08 +0100
Subject: [PATCH] *oops* make things compile again

---
 iris_meta.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/iris_meta.v b/iris_meta.v
index 00721c79f..dc06b158d 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.
-- 
GitLab