From c3f2448a56a73378238e1d5b29f00a3d04f9afdc Mon Sep 17 00:00:00 2001
From: ftrvxmtrx <devnull@localhost>
Date: Thu, 3 Apr 2014 23:58:25 +0200
Subject: spin(1): fix typo

---
 sys/man/1/spin | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/sys/man/1/spin b/sys/man/1/spin
index fd30b024b..8b751b02c 100644
--- a/sys/man/1/spin
+++ b/sys/man/1/spin
@@ -91,7 +91,7 @@ spin - verification tool for models of concurrent systems
 .I Spin
 is a tool for analyzing the logical consistency of
 asynchronous systems, specifically distributed software
-amd communication protocols.
+and communication protocols.
 A verification model of the system is first specified
 in a guarded command language called
 .IR Promela .
@@ -102,7 +102,7 @@ nondeterministic case selection, loops, gotos, local and
 global variables.
 It also allows for a concise specification of logical
 correctness requirements, including, but not restricted
-to requirements expressed in linear temporal logic.
+to, requirements expressed in linear temporal logic.
 .PP
 Given a Promela model stored in
 .IR file ,
-- 
cgit v1.2.3