Merge pull request #3275 from RasmusWL/python-fix-points-to-deprecations

Python: Remove deprecated annotation for old PointsTo::points_to
This commit is contained in:
Taus
2020-04-21 18:18:07 +02:00
committed by GitHub
5 changed files with 1 additions and 6 deletions

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 |