Changes in src/Makefile.am [6d6e829:107b01a]

File:

• src/Makefile.am (modified) (2 diffs)

src/Makefile.am

@@ -17 +17 @@
 # create object files in directory with source files
 AUTOMAKE_OPTIONS = foreign subdir-objects
+ACLOCAL_AMFLAGS  = -I automake
 
 SRC = main.cc \
@@ -126 +127 @@
   ResolvExpr/PtrsCastable.cc \
   ResolvExpr/RenameVars.cc \
-  ResolvExpr/ResolveAssertions.cc \
   ResolvExpr/Resolver.cc \
   ResolvExpr/ResolveTypeof.cc \
-  ResolvExpr/SpecCost.cc \
   ResolvExpr/TypeEnvironment.cc \
   ResolvExpr/Unify.cc \