]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/jdb/sparc/jdb_tcb-sparc.cpp
Update
[l4.git] / kernel / fiasco / src / jdb / sparc / jdb_tcb-sparc.cpp
index 43fc4ec64d126557a96267e1d8a59c93f1d792ad..2d3f55517a3d340b844fe2dd87cc712527818b3a 100644 (file)
@@ -87,7 +87,7 @@ void
 Jdb_tcb::print_return_frame_regs(Jdb_tcb_ptr const &, Address)
 {}
 
-IMPLEMENT
+IMPLEMENT_OVERRIDE
 bool
 Jdb_stack_view::edit_registers()
 {