From ebbeabce96f1692e8ed458281e7ab4982cb61a5a Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Tue, 18 Dec 2007 17:29:51 +0100
Subject: [PATCH] Chybel konec \itemize.

---
 10-prevody/10-prevody.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/10-prevody/10-prevody.tex b/10-prevody/10-prevody.tex
index a786154..d09827b 100644
--- a/10-prevody/10-prevody.tex
+++ b/10-prevody/10-prevody.tex
@@ -75,6 +75,7 @@ plat
 \:$\alpha ,\beta / \lnot\alpha ,\lnot\beta \rightarrow x = 0/1$ (je nám to jedno, celkové øe¹ení nám to neovlivní)
 Hodnota x nám pùvodní formuli nijak neovlivní, proto¾e se v ní nevyskytuje, proto ji mù¾eme nastavit, jak chceme my.
 Tento trik opakujeme tak dlouho, dokud je to tøeba.
+\endlist
 
 {\I poznámka} u 3-SAT lze vynutit právì $3$ literály, pro krátké klauzule pou¾ijeme následující trik:
 $$(a) \rightarrow (a \lor x) \& (a \lor \lnot x) $$
-- 
2.39.5