Merge pull request #6068 from tautschnig/copyright

kroening · web-flow · commit 1c54a960f343 · 2021-05-01T14:19:43.000+01:00
Add missing copyright header
diff --git a/unit/analyses/variable-sensitivity/abstract_object/index_range.cpp b/unit/analyses/variable-sensitivity/abstract_object/index_range.cpp
@@ -1,3 +1,11 @@
+/*******************************************************************\
+
+ Module: Unit tests for variable/sensitivity/abstract_object::index_range
+
+ Author: Jez Higgins, jez@jezuk.co.uk
+
+\*******************************************************************/
+
 #include "analyses/variable-sensitivity/variable_sensitivity_test_helpers.h"
 #include <analyses/variable-sensitivity/abstract_environment.h>
 #include <analyses/variable-sensitivity/constant_abstract_value.h>
