From 072604f30f58ab535bfd8d004163607900adf86e Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 21 Jun 2014 21:13:18 +0200
Subject: fixed typo

---
 manual/PRESENTATION_ExOth.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'manual/PRESENTATION_ExOth.tex')

diff --git a/manual/PRESENTATION_ExOth.tex b/manual/PRESENTATION_ExOth.tex
index 3f0749cd..9e7e9dc7 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
-- 
cgit v1.2.3

