Permalink
Browse files

Fix reference to moved installed constant

  • Loading branch information...
xrchz committed Dec 4, 2018
1 parent cca1b15 commit 7d886feea83cb942843114a0a1bc053907b64ffd
Showing with 1 addition and 1 deletion.
  1. +1 −1 tutorial/wordfreqProofScript.sml
@@ -51,7 +51,7 @@ val wfFS_def = Define `
val x64_installed_def = Define `
x64_installed (c,d,conf) cbspace data_sp ffi mc ms <=>
is_x64_machine_config mc ∧
backendProof$installed c cbspace d data_sp conf.ffi_names ffi
targetSem$installed c cbspace d data_sp conf.ffi_names ffi
(heap_regs x64_backend_config.stack_conf.reg_names) mc ms`

(* -- *)

0 comments on commit 7d886fe

Please sign in to comment.