From 4a9b52f57702586b1e876cde83bdedac3119b6f6 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Mon, 16 Dec 2024 10:56:50 +0200 Subject: [PATCH] Fix invalid widen call in slr3 for globals --- src/solver/sLR.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/solver/sLR.ml b/src/solver/sLR.ml index 69d415307a..299bbbce52 100644 --- a/src/solver/sLR.ml +++ b/src/solver/sLR.ml @@ -66,7 +66,7 @@ module SLR3 = if tracing then trace "sol" "Contrib:%a" S.Dom.pretty tmp; let tmp = if wpx then - if HM.mem globals x then S.Dom.widen old tmp (* TODO: no join in second argument, can call widen incorrectly? *) + if HM.mem globals x then S.Dom.widen old (S.Dom.join old tmp) else box old tmp else tmp in