test

cvc5 · May 8, 2024 · bff21e7 · bff21e7
1 parent 5538a22
commit bff21e7
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
 #