Merge pull request #1923 from romainbrenguier/author-refinement-util

Correct author entry
diffblue · Mar 12, 2018 · 3af5509 · 3af5509
2 parents 802b819 + ee2cf14
commit 3af5509
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -2,7 +2,7 @@
 
  Module: String solver
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Ltd.
 
 \*******************************************************************/