x64: crefine: add TcbAcc_C to Refine_C for testing

2017-09-21 16:04:50 +10:00 · 2017-09-21 16:04:50 +10:00 · c93ed2e629
parent 1d103daf46
commit c93ed2e629
1 changed files with 1 additions and 1 deletions
--- a/proof/crefine/X64/Refine_C.thy
+++ b/proof/crefine/X64/Refine_C.thy
@ -13,6 +13,6 @@ chapter "Toplevel Refinement Statement"
 (* In progress c refinement *)

 theory Refine_C
-imports TcbQueue_C PSpace_C
+imports TcbQueue_C PSpace_C TcbAcc_C
 begin
 end