Force proof on failed write

diff --git a/doc/iotcloud.tex b/doc/iotcloud.tex
index 1d4e556598354bcb4ab3c250d3d16fb8940942fb..b4dd5886e1430da165b17d84e01c4e2adca09a97 100644 (file)
--- a/doc/iotcloud.tex
+++ b/doc/iotcloud.tex
@@ -76,7 +76,8 @@ entries or all newer data entries.
 \paragraph{Writes:}\r
 Client sends slot, server verifies that sequence number is valid,\r
 checks entry hash, and replies with an accept message if all checks\r
-pass.  On success, client updates its sequence number.\r
+pass.  On success, client updates its sequence number.  On failure,\r
+server sends updates slots to client and client validates those slots.\r
 \r
 \paragraph{Local state on each client:}\r
 A list of machines and the corresponding latest sequence numbers\r