diff options
Diffstat (limited to 'src/kern/linux/printk.hh')
| -rw-r--r-- | src/kern/linux/printk.hh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/kern/linux/printk.hh b/src/kern/linux/printk.hh index 20dfb430f..da9564b7e 100644 --- a/src/kern/linux/printk.hh +++ b/src/kern/linux/printk.hh @@ -36,8 +36,8 @@ #include <sstream> -class TheISA::Arguments; +class Arguments; -void Printk(std::stringstream &out, TheISA::Arguments args); +void Printk(std::stringstream &out, Arguments args); #endif // __PRINTK_HH__ |