From ee2cf1433d253036db5e5082a66c61d960f6f366 Mon Sep 17 00:00:00 2001 From: Romain Brenguier Date: Mon, 12 Mar 2018 09:40:23 +0000 Subject: [PATCH] Correct author entry --- src/solvers/refinement/string_refinement_util.cpp | 2 +- src/solvers/refinement/string_refinement_util.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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. \*******************************************************************/