From 098bf1435af0990f56a56bf85f2d2aa1021d2d8f Mon Sep 17 00:00:00 2001 From: Ramana Kumar Date: Mon, 11 Dec 2017 20:44:46 +1100 Subject: [PATCH] Fix a stray 64 in 32/proofs/x64BootstrapProof --- .../compilation/x64/32/proofs/x64BootstrapProofScript.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/bootstrap/compilation/x64/32/proofs/x64BootstrapProofScript.sml b/compiler/bootstrap/compilation/x64/32/proofs/x64BootstrapProofScript.sml index 756daace91..e77da9cce4 100644 --- a/compiler/bootstrap/compilation/x64/32/proofs/x64BootstrapProofScript.sml +++ b/compiler/bootstrap/compilation/x64/32/proofs/x64BootstrapProofScript.sml @@ -5,7 +5,7 @@ open preamble val _ = new_theory"x64BootstrapProof"; val cake_io_events_def = new_specification("cake_io_events_def",["cake_io_events"], - semantics_compiler64_prog + semantics_compiler32_prog |> SIMP_RULE (srw_ss()) [TextIOProofTheory.STD_streams_add_stderr, TextIOProofTheory.STD_streams_add_stdout, fsFFIPropsTheory.STD_streams_fastForwardFD,COND_RAND]