fix parsing error with multi-line conditional operators

diff --git a/parsing_c/parsing_hacks.ml b/parsing_c/parsing_hacks.ml
index dfb18a6..db9d4ef 100644 (file)
--- a/parsing_c/parsing_hacks.ml
+++ b/parsing_c/parsing_hacks.ml
@@ -1250,6 +1250,7 @@ let rec find_macro_lineparen xs =
              | TCBrace _ when ctx <> InFunction -> false
              | TPtVirg _
              | TDotDot _
+             | TWhy _
                -> false
              | tok when TH.is_binary_operator tok -> false
 
@@ -1299,6 +1300,7 @@ let rec find_macro_lineparen xs =
             | TCBrace _ when ctx <> InFunction -> false
             | TPtVirg _
             | TDotDot _
+            | TWhy _
                 -> false
             | tok when TH.is_binary_operator tok -> false
 
@@ -1360,6 +1362,7 @@ let rec find_macro_lineparen xs =
             | TPtVirg _ -> false
             | TOr _ -> false
             | TCBrace _ when ctx <> InFunction -> false
+            | TWhy _ -> false
             | tok when TH.is_binary_operator tok -> false
 
             | _ -> true