fix semi-concrete compat (#328)

JuliaDebug · Oct 11, 2022 · 183481f · 183481f
1 parent 78d7ea9
commit 183481f
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/Cthulhu.jl b/src/Cthulhu.jl
@@ -282,10 +282,12 @@ end
     @static if VERSION ≥ v"1.9.0-DEV.409"
         get_effects(result::CC.ConstPropResult) = get_effects(result.result)
         get_effects(result::CC.ConcreteResult) = result.effects
-        get_effects(result::CC.SemiConcreteResult) = result.effects
     else
         get_effects(result::CC.ConstResult) = result.effects
     end
+    @static if VERSION ≥ v"1.9.0-DEV.1248"
+        get_effects(result::CC.SemiConcreteResult) = result.effects
+    end
 else
     get_effects(_...) = nothing
 end