Changes in src/AST/module.mk [e0e9a0b:07de76b]

File:

• src/AST/module.mk (modified) (3 diffs)

src/AST/module.mk

@@ -10 +10 @@
 ## Author           : Thierry Delisle
 ## Created On       : Thu May 09 16:05:36 2019
-## Last Modified By :
-## Last Modified On :
-## Update Count     :
+## Last Modified By : Peter A. Buhr
+## Last Modified On : Sat Dec 14 07:29:10 2019
+## Update Count     : 3
 ###############################################################################
 
@@ -22 +22 @@
         AST/DeclReplacer.cpp \
         AST/Expr.cpp \
-        AST/ForallSubstitutionTable.cpp \
         AST/GenericSubstitution.cpp \
         AST/Init.cpp \
@@ -35 +34 @@
         AST/TypeSubstitution.cpp
 
-
-
 SRC += $(SRC_AST)
 SRCDEMANGLE += $(SRC_AST)