Refactor and update copyright headers. (#6316)

1 files changed, 15 insertions, 13 deletions

diff --git a/examples/api/python/combination.py b/examples/api/python/combination.py
index 0289f07d3..eb40f6ba3 100644
--- a/examples/api/python/combination.py
+++ b/examples/api/python/combination.py
@@ -1,17 +1,19 @@
 #!/usr/bin/env python
-#####################
-## combination.py
-## Top contributors (to current version):
-##   Makai Mann, Mudathir Mohamed, Aina Niemetz
-## This file is part of the CVC4 project.
-## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
-## in the top-level source directory and their institutional affiliations.
-## All rights reserved.  See the file COPYING in the top-level source
-## directory for licensing information.
-##
-## A simple demonstration of the solving capabilities of the CVC4
-## combination solver through the Python API. This is a direct translation
-## of combination-new.cpp.
+###############################################################################
+# Top contributors (to current version):
+#   Makai Mann, Mudathir Mohamed, Aina Niemetz
+#
+# This file is part of the cvc5 project.
+#
+# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
+# in the top-level source directory and their institutional affiliations.
+# All rights reserved.  See the file COPYING in the top-level source
+# directory for licensing information.
+# #############################################################################
+#
+# A simple demonstration of the solving capabilities of the cvc5 combination
+# solver through the Python API. This is a direct translation of
+# combination-new.cpp.
 ##
 
 import pycvc4