mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-06 14:26:03 +00:00
Code Activity

Update copyright information in finite_set_value_factory.h

Browse source 
Updated copyright year from 2006 to 2025.
This commit is contained in:
Nikolaj Bjorner 2025-10-15 21:33:30 +02:00 • committed by GitHub
parent 698e71283c
commit 430deb511a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/model/finite_set_value_factory.h
View file

@ -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