X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=hints%2Fassignment_7_hint_3.mdwn;h=5fbcb411a6b11e9c032ce1c2d17a97934c2c0142;hp=59682986299494ce90eb386c7be21780d76301df;hb=4b24a4ff2af6488189d4668c57fd6af42532e05a;hpb=d6ac33904ee6021cad8e517d4f5104c3b82f1570

diff --git a/hints/assignment_7_hint_3.mdwn b/hints/assignment_7_hint_3.mdwn
index 59682986..5fbcb411 100644
--- a/hints/assignment_7_hint_3.mdwn
+++ b/hints/assignment_7_hint_3.mdwn
@@ -49,9 +49,9 @@ More specifically, \[[expression]] will be a set of `'a discourse_possibility` m
 
 *	Now how shall we handle \[[∃x]]. As we said, GS&V really tell us how to interpret \[[∃xPx]], but what they say about this breaks naturally into two pieces, such that we can represent the update of `s` with \[[∃xPx]] as:
 
-<pre><code>
-s >>= \[[&exist;x]] >>= \[[Px]]
-</code></pre>
+	<pre><code>
+	s >>= \[[&exist;x]] >>= \[[Px]]
+	</code></pre>