diff --git a/proof/ROOT b/proof/ROOT
index 1dd515fc2..5b2cbd520 100644
--- a/proof/ROOT
+++ b/proof/ROOT
@@ -199,7 +199,9 @@ session Bisim in bisim = AInvs +
 (*
  * Binary Verification Input Step
 *)
-session SimplExportAndRefine in "asmrefine" = SimplExport +
+session SimplExportAndRefine in "asmrefine" = CSpec +
+  sessions
+    SimplExport
   theories
     "SEL4GraphRefine"