@@ -83,7 +83,6 @@ import OrderOfEvaluation
8383import OutOfBounds
8484import Pointers
8585import Preconditions1
86- import Preconditions2
8786import Preconditions3
8887import Preconditions4
8988import Preconditions5
@@ -193,7 +192,6 @@ newtype TCPPQuery =
193192 TOutOfBoundsPackageQuery ( OutOfBoundsQuery q ) or
194193 TPointersPackageQuery ( PointersQuery q ) or
195194 TPreconditions1PackageQuery ( Preconditions1Query q ) or
196- TPreconditions2PackageQuery ( Preconditions2Query q ) or
197195 TPreconditions3PackageQuery ( Preconditions3Query q ) or
198196 TPreconditions4PackageQuery ( Preconditions4Query q ) or
199197 TPreconditions5PackageQuery ( Preconditions5Query q ) or
@@ -303,7 +301,6 @@ predicate isQueryMetadata(Query query, string queryId, string ruleId, string cat
303301 isOutOfBoundsQueryMetadata ( query , queryId , ruleId , category ) or
304302 isPointersQueryMetadata ( query , queryId , ruleId , category ) or
305303 isPreconditions1QueryMetadata ( query , queryId , ruleId , category ) or
306- isPreconditions2QueryMetadata ( query , queryId , ruleId , category ) or
307304 isPreconditions3QueryMetadata ( query , queryId , ruleId , category ) or
308305 isPreconditions4QueryMetadata ( query , queryId , ruleId , category ) or
309306 isPreconditions5QueryMetadata ( query , queryId , ruleId , category ) or
0 commit comments