Fix a stray 64 in 32/proofs/x64BootstrapProof

CakeML · Dec 11, 2017 · 098bf14 · 098bf14
1 parent 63143f1
commit 098bf14
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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]