Skip to content

Commit c1c9287

Browse files
committed
restore file header
1 parent d1226b7 commit c1c9287

1 file changed

Lines changed: 6 additions & 0 deletions

File tree

  • shared/rangeanalysis/codeql/rangeanalysis

shared/rangeanalysis/codeql/rangeanalysis/Bound.qll

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,9 @@
1+
/**
2+
* Provides classes for representing abstract bounds for use in, for example, range analysis.
3+
*/
4+
overlay[local?]
5+
module;
6+
17
private import codeql.util.Location
28

39
signature module BoundDefinitions<LocationSig Location> {

0 commit comments

Comments
 (0)