Changes in src/AST/module.mk [7cc0344:e0e9a0b]

File:

• src/AST/module.mk (modified) (1 diff)

src/AST/module.mk

@@ -22 +22 @@
         AST/DeclReplacer.cpp \
         AST/Expr.cpp \
+        AST/ForallSubstitutionTable.cpp \
         AST/GenericSubstitution.cpp \
         AST/Init.cpp \