From 0d6548a96b6978ede2291e26f1becd99ff02ed45 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Wed, 25 Oct 2017 23:13:26 +0200
Subject: [PATCH] Add missing modules to pack

---
 src/dolmen.mlpack | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/dolmen.mlpack b/src/dolmen.mlpack
index 786b7a043..432f4ecda 100644
--- a/src/dolmen.mlpack
+++ b/src/dolmen.mlpack
@@ -5,6 +5,17 @@ Term
 Statement
 ParseLocation
 
+# Interfaces
+Lex_intf
+Parse_intf
+Location_intf
+
+Id_intf
+Term_intf
+Stmt_intf
+Language_intf
+
+
 # Dimacs language
 Dimacs
 LexDimacs