diff --git a/spec/haskell/src/SEL4/Kernel/VSpace/AARCH64.hs b/spec/haskell/src/SEL4/Kernel/VSpace/AARCH64.hs
index c3542a623..21084b18f 100644
--- a/spec/haskell/src/SEL4/Kernel/VSpace/AARCH64.hs
+++ b/spec/haskell/src/SEL4/Kernel/VSpace/AARCH64.hs
@@ -850,15 +850,9 @@ performARMMMUInvocation i = withoutPreemption $ do
         InvokeVCPU _ -> fail "performARMMMUInvocation: not an MMU invocation"
     return $ []
 
-{- Simulator Support -}
-
 storePTE :: PPtr PTE -> PTE -> Kernel ()
 storePTE slot pte = do
     setObject slot pte
--- No simulator support currently available for RISCV, but this would be the
--- hook for PTEs:
--- doMachineOp $ storeWordVM (PPtr $ fromPPtr slot) $ wordFromPTE pte
-
 
 {- Unimplemented Boot Code Stubs -}