From 0e0147ec5c138c51673c7ddbfe3af88d852bbc33 Mon Sep 17 00:00:00 2001 From: Konstantinos Margaritis Date: Fri, 16 Sep 2022 14:02:53 +0300 Subject: [PATCH] clang 14 does not allow bitwise OR for bools --- src/nfagraph/ng_misc_opt.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/nfagraph/ng_misc_opt.cpp b/src/nfagraph/ng_misc_opt.cpp index d0f1f029..2b898cf7 100644 --- a/src/nfagraph/ng_misc_opt.cpp +++ b/src/nfagraph/ng_misc_opt.cpp @@ -385,8 +385,7 @@ bool improveGraph(NGHolder &g, som_type som) { const vector ordering = getTopoOrdering(g); - return enlargeCyclicCR(g, som, ordering) - | enlargeCyclicCR_rev(g, ordering); + return enlargeCyclicCR(g, som, ordering) || enlargeCyclicCR_rev(g, ordering); } /** finds a smaller reachability for a state by the reverse transformation of