#ifndef DG_POINTS_TO_SET_H_
#define DG_POINTS_TO_SET_H_

#include "dg/PointerAnalysis/PointsToSets/OffsetsSetPointsToSet.h"
#include "dg/PointerAnalysis/PointsToSets/SimplePointsToSet.h"
#include "dg/PointerAnalysis/PointsToSets/SeparateOffsetsPointsToSet.h"
#include "dg/PointerAnalysis/PointsToSets/PointerIdPointsToSet.h"
#include "dg/PointerAnalysis/PointsToSets/SmallOffsetsPointsToSet.h"
#include "dg/PointerAnalysis/PointsToSets/AlignedSmallOffsetsPointsToSet.h"
#include "dg/PointerAnalysis/PointsToSets/AlignedPointerIdPointsToSet.h"

namespace dg {
namespace pta {

using PointsToSetT = OffsetsSetPointsToSet;
using PointsToMapT = std::map<Offset, PointsToSetT>;

} // namespace pta
} // namespace dg

#endif

#ifndef DG_POINTS_TO_SET_H_
#define DG_POINTS_TO_SET_H_

#include "dg/PointerAnalysis/PointsToSets/OffsetsSetPointsToSet.h"
#include "dg/PointerAnalysis/PointsToSets/SimplePointsToSet.h"
#include "dg/PointerAnalysis/PointsToSets/SeparateOffsetsPointsToSet.h"
#include "dg/PointerAnalysis/PointsToSets/PointerIdPointsToSet.h"
#include "dg/PointerAnalysis/PointsToSets/SmallOffsetsPointsToSet.h"
#include "dg/PointerAnalysis/PointsToSets/AlignedSmallOffsetsPointsToSet.h"
#include "dg/PointerAnalysis/PointsToSets/AlignedPointerIdPointsToSet.h"

namespace dg {
namespace pta {

//using PointsToSetT = OffsetsSetPointsToSet;
using PointsToSetT = PointerIdPointsToSet;
using PointsToMapT = std::map<Offset, PointsToSetT>;

} // namespace pta
} // namespace dg

#endif

--- 
+++ 
@@ -12,8 +12,7 @@
 namespace dg {
 namespace pta {
 
-//using PointsToSetT = OffsetsSetPointsToSet;
-using PointsToSetT = PointerIdPointsToSet;
+using PointsToSetT = OffsetsSetPointsToSet;
 using PointsToMapT = std::map<Offset, PointsToSetT>;
 
 } // namespace pta
Revert "PTA: use bitvector-based points-to set representation"

This reverts commit 74f5d133452018f5e933ab864446bdb720fa84b9.
