Python: Deprecate old bottle points-to extension

This commit is contained in:
Rasmus Wriedt Larsen
2022-01-20 10:48:17 +01:00
parent c9e36aaf72
commit 438a01e911

View File

@@ -87,7 +87,7 @@ class RangeIterationVariableFact extends PointsToExtension {
}
/* bottle module route constants */
class BottleRoutePointToExtension extends PointsToExtension {
deprecated class BottleRoutePointToExtension extends PointsToExtension {
string name;
BottleRoutePointToExtension() {