Merge branch 'optimize-indexed-min-aggregate' of github.com:aeflores/…

…souffle into optimize-indexed-min-aggregate
joshuakarp · Oct 20, 2020 · 18a0351 · 18a0351
2 parents f04514e + 44a4d20
commit 18a0351
Show file tree

Hide file tree

Showing 6 changed files with 622 additions and 655 deletions.
diff --git a/src/Makefile.am b/src/Makefile.am
@@ -182,6 +182,8 @@ souffle_sources = \
         ast/transform/SimplifyAggregateTargetExpression.h  \
         ast/transform/Transformer.cpp                      \
         ast/transform/Transformer.h                        \
+        ast/transform/TypeChecker.cpp                      \
+        ast/transform/TypeChecker.h                        \
         ast/transform/UniqueAggregationVariables.cpp       \
         ast/transform/UniqueAggregationVariables.h         \
         ast/transform/While.h                              \