From 6e82520165aa8d873dae837288c2adb589f2827e Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 15 Jan 2025 17:52:30 +0100
Subject: [PATCH] fixup "vm_session: use Callable for with_state"

---
 repos/base/src/lib/base/vm.cc | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

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)
-{
-}
+{ }