Skip to content

Commit 3d475f9

Browse files
committed
1 parent 96a61a0 commit 3d475f9

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

src/interpreter.jl

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -148,7 +148,12 @@ CC.finishinfer!(state::InferenceState, interp::CthulhuInterpreter, cycleid::Int)
148148
else
149149
CC.finishinfer!(state::InferenceState, interp::CthulhuInterpreter) = cthulhu_finish(CC.finishinfer!, state, interp)
150150
end
151-
@static if VERSION v"1.12.0-DEV.1988"
151+
@static if VERSION v"1.13.0-DEV.242"
152+
function CC.finish!(interp::CthulhuInterpreter, caller::InferenceState, validation_world::UInt, time_before::UInt64)
153+
set_cthulhu_source!(caller.result)
154+
return @invoke CC.finish!(interp::AbstractInterpreter, caller::InferenceState, validation_world::UInt, time_before::UInt64)
155+
end
156+
elseif VERSION v"1.12.0-DEV.1988"
152157
function CC.finish!(interp::CthulhuInterpreter, caller::InferenceState, validation_world::UInt)
153158
set_cthulhu_source!(caller.result)
154159
return @invoke CC.finish!(interp::AbstractInterpreter, caller::InferenceState, validation_world::UInt)

0 commit comments

Comments
 (0)