Python: Remove deprecated annotation for old PointsTo::points_to

We should only deprecate it when we're ready to deprecate the old refersTo and
all the old Object classes
This commit is contained in:
Rasmus Wriedt Larsen
2020-04-16 09:47:45 +02:00
parent 86ba03bea8
commit ab120ed7af

View File

@@ -114,7 +114,7 @@ module PointsTo {
/* Backwards compatibility */
cached
deprecated predicate points_to(
predicate points_to(
ControlFlowNode f, PointsToContext context, Object obj, ClassObject cls, ControlFlowNode origin
) {
exists(ObjectInternal value |