Add copyright header to sets.vpr

Same header as encoding-sketches/interfaces.vpr, with 2020 updated to 2023.
viperproject · Dec 8, 2023 · 2011465 · 2011465
1 parent 9fd69a9
commit 2011465
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/main/resources/noaxioms/sets.vpr b/src/main/resources/noaxioms/sets.vpr
@@ -1,3 +1,9 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at http://mozilla.org/MPL/2.0/.
+//
+// Copyright (c) 2011-2023 ETH Zurich.
+
 domain $Set[E] {
   function Set_in(e: E, s: $Set[E]): Bool
   function Set_card(s: $Set[E]): Int