diff --git a/src/solvers/refinement/string_refinement_util.cpp b/src/solvers/refinement/string_refinement_util.cpp index bc54c8a0068..06c71623ec1 100644 --- a/src/solvers/refinement/string_refinement_util.cpp +++ b/src/solvers/refinement/string_refinement_util.cpp @@ -2,7 +2,7 @@ Module: String solver - Author: DiffBlue Limited. All rights reserved. + Author: Diffblue Ltd. \*******************************************************************/ diff --git a/src/solvers/refinement/string_refinement_util.h b/src/solvers/refinement/string_refinement_util.h index 4b67df35592..4501cd68ec3 100644 --- a/src/solvers/refinement/string_refinement_util.h +++ b/src/solvers/refinement/string_refinement_util.h @@ -2,7 +2,7 @@ Module: String solver - Author: DiffBlue Limited. All rights reserved. + Author: Diffblue Ltd. \*******************************************************************/