diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-07-31 17:03:56 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-07-31 17:06:43 +0200 |
| commit | ea73604e78b6b1232efb9f729412d46d7ce95f6f (patch) | |
| tree | 378c15a2355f592b3ec115d76371aa5b04998a7c /source/Checking/Declaration.hs | |
| parent | b2e7ad5d301b80cc0e75c08b6e98c720c3cb181e (diff) | |
Bind prepared request identity to execution mode
Diffstat (limited to 'source/Checking/Declaration.hs')
| -rw-r--r-- | source/Checking/Declaration.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/source/Checking/Declaration.hs b/source/Checking/Declaration.hs index 25e7745..b3d3c16 100644 --- a/source/Checking/Declaration.hs +++ b/source/Checking/Declaration.hs @@ -765,8 +765,7 @@ authorizeVampireCandidate candidate prepared accepted = let request = Provers.preparedTypedProverRequest prepared direct = CheckedSourceProof - [preparedRequestId - (Provers.preparedVerificationBytes request)] + [Provers.preparedVerificationRequestId request] freshCompletion candidate direct |