From 0f697830fcb3212126f9d885b4d0148d926bbcbf Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 13 Apr 2020 19:08:05 -0700 Subject: [PATCH] spelling Signed-off-by: Nikolaj Bjorner --- src/smt/theory_recfun.cpp | 4 ++-- src/smt/theory_recfun.h | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/smt/theory_recfun.cpp b/src/smt/theory_recfun.cpp index fee8aac4e..70e8ffa6e 100644 --- a/src/smt/theory_recfun.cpp +++ b/src/smt/theory_recfun.cpp @@ -1,5 +1,5 @@ /*++ -Copyright (c) 2018 Microsoft Corporation, Simon Cuares +Copyright (c) 2018 Microsoft Corporation, Simon Cruanes Module Name: @@ -11,7 +11,7 @@ Abstract: Author: - Simon Cuares December 2017 + Simon Cruanes December 2017 Revision History: diff --git a/src/smt/theory_recfun.h b/src/smt/theory_recfun.h index 3ae46a6f3..170fbb31d 100644 --- a/src/smt/theory_recfun.h +++ b/src/smt/theory_recfun.h @@ -11,7 +11,7 @@ Abstract: Author: - Simon Cuares December 2017 + Simon Cruanes December 2017 Revision History: