Add missing modules to pack

Gbury · Oct 25, 2017 · 0d6548a · 0d6548a
1 parent 7b28faa
commit 0d6548a
Showing 1 changed file with 11 additions and 0 deletions.
diff --git 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