revert

cvc5 · May 8, 2024 · 902ee60 · 902ee60
1 parent bff21e7
commit 902ee60
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
 #