Skip to content

Commit 21d3a42

Browse files
committed
Add missing copyright header
unit/analyses/variable-sensitivity/abstract_object/index_range.cpp was missing a copyright header. Based on git history, this should be the correct attribution.
1 parent 69ec9de commit 21d3a42

File tree

1 file changed

+8
-0
lines changed

1 file changed

+8
-0
lines changed

unit/analyses/variable-sensitivity/abstract_object/index_range.cpp

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,11 @@
1+
/*******************************************************************\
2+
3+
Module: Unit tests for variable/sensitivity/abstract_object::index_range
4+
5+
Author: Jez Higgins, [email protected]
6+
7+
\*******************************************************************/
8+
19
#include "analyses/variable-sensitivity/variable_sensitivity_test_helpers.h"
210
#include <analyses/variable-sensitivity/abstract_environment.h>
311
#include <analyses/variable-sensitivity/constant_abstract_value.h>

0 commit comments

Comments
 (0)