assignment7 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>

diff --git a/hints/assignment_7_hint_3.mdwn b/hints/assignment_7_hint_3.mdwn
index 5968298..5fbcb41 100644 (file)
--- 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>