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

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 : Peter A. Buhr
-## Last Modified On : Sat Dec 14 07:29:10 2019
-## Update Count     : 3
+## Last Modified By :
+## Last Modified On :
+## Update Count     :
 ###############################################################################
 
@@ -22 +22 @@
         AST/DeclReplacer.cpp \
         AST/Expr.cpp \
+        AST/ForallSubstitutionTable.cpp \
         AST/GenericSubstitution.cpp \
         AST/Init.cpp \
@@ -34 +35 @@
         AST/TypeSubstitution.cpp
 
+
+
 SRC += $(SRC_AST)
 SRCDEMANGLE += $(SRC_AST)