######################### -*- Mode: Makefile-Gmake -*- ########################
##
## Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
##
## The contents of this file are covered under the licence agreement in the
## file "LICENCE" distributed with Cforall.
##
## module.mk --
##
## Author           : Richard C. Bilson
## Created On       : Mon Jun  1 17:49:17 2015
## Last Modified By : Peter A. Buhr
## Last Modified On : Mon Jun  1 17:53:28 2015
## Update Count     : 1
###############################################################################

SRC += ResolvExpr/AlternativeFinder.cc \
       ResolvExpr/Alternative.cc \
       ResolvExpr/Unify.cc \
       ResolvExpr/PtrsAssignable.cc \
       ResolvExpr/CommonType.cc \
       ResolvExpr/ConversionCost.cc \
       ResolvExpr/CastCost.cc \
       ResolvExpr/PtrsCastable.cc \
       ResolvExpr/AdjustExprType.cc \
       ResolvExpr/AlternativePrinter.cc \
       ResolvExpr/Resolver.cc \
       ResolvExpr/ResolveTypeof.cc \
       ResolvExpr/RenameVars.cc \
       ResolvExpr/FindOpenVars.cc \
       ResolvExpr/PolyCost.cc \
       ResolvExpr/Occurs.cc \
       ResolvExpr/TypeEnvironment.cc \
       ResolvExpr/CurrentObject.cc \
       ResolvExpr/ExplodedActual.cc