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

Daniel Kroening · web-flow · commit 3af550932c10 · 2018-03-12T18:02:57.000Z
Correct author entry
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.
 
 \*******************************************************************/
 
