Skip to content

Commit

Permalink
Merge pull request diffblue#1923 from romainbrenguier/author-refineme…
Browse files Browse the repository at this point in the history
…nt-util

Correct author entry
  • Loading branch information
Daniel Kroening authored Mar 12, 2018
2 parents 802b819 + ee2cf14 commit 3af5509
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion src/solvers/refinement/string_refinement_util.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
Module: String solver
Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.
\*******************************************************************/

Expand Down
2 changes: 1 addition & 1 deletion src/solvers/refinement/string_refinement_util.h
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
Module: String solver
Author: DiffBlue Limited. All rights reserved.
Author: Diffblue Ltd.
\*******************************************************************/

Expand Down

0 comments on commit 3af5509

Please sign in to comment.