Some initial implementation of reachability for ownership analysis.

[IRC.git] / Robust / src / Makefile

diff --git a/Robust/src/Makefile b/Robust/src/Makefile
index 3aeaeddd8f4319170b6385e938a3b356682d6453..6efe1c0fafea1547085812c7763ef89cb360fcf6 100644 (file)
--- a/Robust/src/Makefile
+++ b/Robust/src/Makefile
@@ -80,6 +80,9 @@ Analysis/OwnershipAnalysis/LabelNode.class                              \
 Analysis/OwnershipAnalysis/HeapRegionNode.class                         \
 Analysis/OwnershipAnalysis/ReferenceEdgeProperties.class                \
 Analysis/OwnershipAnalysis/AllocationSite.class                         \
+Analysis/OwnershipAnalysis/TokenTuple.class                             \
+Analysis/OwnershipAnalysis/TokenTupleSet.class                          \
+Analysis/OwnershipAnalysis/ReachabilitySet.class                        \
 Util/GraphNode.class Util/Namer.class Util/Relation.class              \
 Interface/HTTPHeader.class Interface/HTTPResponse.class                        \
 Interface/HTTPServices.class Interface/HashStrings.class               \