diff --git a/repos/base/src/lib/base/vm.cc b/repos/base/src/lib/base/vm.cc
index fa2c76f49d..3c66b9736d 100644
--- a/repos/base/src/lib/base/vm.cc
+++ b/repos/base/src/lib/base/vm.cc
@@ -24,11 +24,10 @@ static Vm_session::Native_vcpu dummy;
 
 struct Genode::Vcpu_state { };
 
-void Vm_connection::Vcpu::_with_state(Call_with_state &) {};
+void Vm_connection::Vcpu::_with_state(With_state::Ft const &) { };
 
 Vm_connection::Vcpu::Vcpu(Vm_connection &, Allocator &,
                           Vcpu_handler_base &, Exit_config const &)
 :
 	_native_vcpu(dummy)
-{
-}
+{ }