From 902ee60c33c245bd824c657bac9602e896c354be Mon Sep 17 00:00:00 2001 From: Yoni Zohar Date: Wed, 8 May 2024 14:24:28 +0300 Subject: [PATCH] revert --- cvc5_pythonic_api/cvc5_pythonic.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cvc5_pythonic_api/cvc5_pythonic.py b/cvc5_pythonic_api/cvc5_pythonic.py index e31677b..a4a13a1 100644 --- a/cvc5_pythonic_api/cvc5_pythonic.py +++ b/cvc5_pythonic_api/cvc5_pythonic.py @@ -1,4 +1,4 @@ -#################################################### +############################################ # Copyright (c) 2021 The cvc5 Developers # 2012 The Microsoft Corporation #