From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 16 Dec 2015 20:05:00 +0000 (+0100)
Subject: up
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=041b340e286d9115a249ee409bbce059b036ded6;p=ar1516.git

up
---

diff --git a/a2/2.tex b/a2/2.tex
index 11b7eb8..16530db 100644
--- a/a2/2.tex
+++ b/a2/2.tex
@@ -1,5 +1,5 @@
 \section{Problem 2}
-\emph{Three bottles can hold 144, 72 and 16 units (say, centilite rs),
+\emph{Three bottles can hold 144, 72 and 16 units (say, centiliters),
 respectively. Initially the first one contains 3 units of water, the
 others are empty. The following actions may be performed any number of
 times:
@@ -91,7 +91,7 @@ joining them with logical or operators.
 				\toprule
 				State & Bottle 1 & Bottle 2 & Bottle 3 & Action\\
 				\midrule
-				$0$ & $3$ & $0$ & $0$ & ~\\
+				$0$ & $3$ & $0$ & $0$ &\\
 				$1$ & $3$ & $72$ & $0$ & Filled $2$\\
 				$2$ & $3$ & $44$ & $28$ & Poured $2$ in $3$\\
 				$3$ & $0$ & $47$ & $28$ & Poured $1$ in $2$\\