Simon found bug in ass7/not

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

diff --git a/hints/assignment_7_hint_6.mdwn b/hints/assignment_7_hint_6.mdwn
index 77b4792..38f6c2e 100644 (file)
--- a/hints/assignment_7_hint_6.mdwn
+++ b/hints/assignment_7_hint_6.mdwn
@@ -27,6 +27,8 @@
                                in unit_set new_dpm;;
 
 
+       **Note: Simon pointed out a subtle error in this code, which we will look into fixing. At the moment, the subtle error is still there.**
+
 *      Representing \[[and φ ψ]] is simple:
 
                let and_op (phi : clause) (psi : clause) : clause =