From 430deb511a1669fcfe088fa83419f6b0278277f6 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 15 Oct 2025 21:33:30 +0200 Subject: [PATCH] Update copyright information in finite_set_value_factory.h Updated copyright year from 2006 to 2025. --- src/model/finite_set_value_factory.h | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/src/model/finite_set_value_factory.h b/src/model/finite_set_value_factory.h index 125579ea1..51afd03e6 100644 --- a/src/model/finite_set_value_factory.h +++ b/src/model/finite_set_value_factory.h @@ -1,5 +1,5 @@ /*++ -Copyright (c) 2006 Microsoft Corporation +Copyright (c) 2025 Microsoft Corporation Module Name: @@ -9,12 +9,6 @@ Abstract: Factory for creating finite set values -Author: - - Leonardo de Moura (leonardo) 2008-11-06. - -Revision History: - --*/ #pragma once