From 73029bbf2ea3f3a13a9cf05b9f9a97d1a3f6db4a Mon Sep 17 00:00:00 2001
From: Sungkeun Cho <scho@fb.com>
Date: Thu, 19 Dec 2019 07:47:12 -0800
Subject: [PATCH] [AL] Fix ctl parser conflicts

Reviewed By: jvillard

Differential Revision: D19177605

fbshipit-source-id: a3df3348b
---
 infer/src/al/ctl_parser.mly | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/al/ctl_parser.mly b/infer/src/al/ctl_parser.mly
index 6fe11a70d..c845b33ba 100644
--- a/infer/src/al/ctl_parser.mly
+++ b/infer/src/al/ctl_parser.mly
@@ -96,7 +96,7 @@
 /* associativity and priority (lower to higher) of operators */
 %nonassoc IMPLIES
 %left OR
-%left AND
+%left AND, AND_WITH_WITNESSES
 %left AU, EU
 %right NOT, AX, EX, AF, EF, EG, AG, EH