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

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 \