From cc6781abc9b335e10c303044dc33ef1ef88820ca Mon Sep 17 00:00:00 2001
From: MstrPikachu <31784486+MstrPikachu@users.noreply.github.com>
Date: Sun, 3 Oct 2021 17:06:45 -0400
Subject: [PATCH] Fix SectionsConflict

---
 assignments/a2/a2.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/assignments/a2/a2.tex b/assignments/a2/a2.tex
index d3e251e..9823d4d 100644
--- a/assignments/a2/a2.tex
+++ b/assignments/a2/a2.tex
@@ -122,7 +122,7 @@ MeetingTimesConflict(m_1, m_2) : m_1[0] == m_2[0] \land m_1[2] > m_2[1] \land m_
 % Use the MeetingTimesConflict predicate in your response.
 
 \begin{align*}
-SectionsConflict(s_1, s_2) : ('Y' \in \{s_1[1], s_2[1]\} \lor s_1[1] = s_2[1]) \Rightarrow \\
+SectionsConflict(s_1, s_2) : ('Y' \in \{s_1[1], s_2[1]\} \lor s_1[1] = s_2[1]) \land \\
 \exists m_1 \in s_1[2], \text{ s.t. } \exists m_2 \in s_2[2], \text { s.t. } MeetingTimesConflict(m_1, m_2)
 \qquad \text{where $s_1, s_2 \in S$}
 \end{align*}