From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 21 Jun 2014 19:13:18 +0000 (+0200)
Subject: fixed typo
X-Git-Tag: yosys-0.4~583
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=072604f30f58ab535bfd8d004163607900adf86e;p=yosys.git

fixed typo
---

diff --git a/manual/PRESENTATION_ExOth.tex b/manual/PRESENTATION_ExOth.tex
index 3f0749cdd..9e7e9dc7f 100644
--- a/manual/PRESENTATION_ExOth.tex
+++ b/manual/PRESENTATION_ExOth.tex
@@ -161,7 +161,7 @@ SAT proof finished - no model found: SUCCESS!
 \begin{frame}[t, fragile]{Example: Symbolic Model Checking (1/2)}
 \small
 The following AXI4 Stream Master has a bug. But the bug is not exposed if the
-slave keeps {\tt tready} asserted all the time. (Somtheing a test bench might do.)
+slave keeps {\tt tready} asserted all the time. (Something a test bench might do.)
 
 \medskip
 Symbolic Model Checking can be used to expose the bug and find a sequence