[PATCH] Fix typo: s/Curiosty Rover/Curiosity Rover/

[PATCH] Fix typo: s/Curiosty Rover/Curiosity Rover/

[SeongJae Park]

Signed-off-by: SeongJae Park <sj38.park@gmail.com>
---
 formal/regression.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/formal/regression.tex b/formal/regression.tex
index 4e06cb7..4e8476d 100644
--- a/formal/regression.tex
+++ b/formal/regression.tex
@@ -584,6 +584,6 @@ Just because many of them are poor fit for regression testing does
 not at all mean that they are useless, in fact,
 many of them have proven their worth many times over.\footnote{
 	For but one example, Promela was used to verify the file system
-	of none other than the Curiosty Rover.
+	of none other than the Curiosity Rover.
 	Was \emph{your} formal verification tool used on a Mars rover?}
 Just not for regression testing.
-- 
2.10.0

Re: [PATCH] Fix typo: s/Curiosty Rover/Curiosity Rover/

[Paul E. McKenney]

On Wed, Dec 13, 2017 at 11:16:27AM +0900, SeongJae Park wrote:
> Signed-off-by: SeongJae Park <sj38.park@gmail.com>

Good eyes!  Applied and pushed, thank you!

							Thanx, Paul

> ---
>  formal/regression.tex | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/formal/regression.tex b/formal/regression.tex
> index 4e06cb7..4e8476d 100644
> --- a/formal/regression.tex
> +++ b/formal/regression.tex
> @@ -584,6 +584,6 @@ Just because many of them are poor fit for regression testing does
>  not at all mean that they are useless, in fact,
>  many of them have proven their worth many times over.\footnote{
>  	For but one example, Promela was used to verify the file system
> -	of none other than the Curiosty Rover.
> +	of none other than the Curiosity Rover.
>  	Was \emph{your} formal verification tool used on a Mars rover?}
>  Just not for regression testing.
> -- 
> 2.10.0
> 
> --
> To unsubscribe from this list: send the line "unsubscribe perfbook" in
> the body of a message to majordomo@vger.kernel.org
> More majordomo info at  http://vger.kernel.org/majordomo-info.html
>