backup

viperproject · Dec 13, 2023 · bf06d50 · bf06d50
1 parent f379ee7
commit bf06d50
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/viper/gobra/translator/util/VprInfo.scala b/src/main/scala/viper/gobra/translator/util/VprInfo.scala
@@ -2,7 +2,7 @@
 // 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) 2023 ETH Zurich.
+// Copyright (c) 2011-2023 ETH Zurich.
 
 package viper.gobra.translator.util