$NetBSD: patch-ab,v 1.1 2007/10/10 11:29:20 rillig Exp $

--- vmips.h.orig	2005-01-06 22:04:54.000000000 +0100
+++ vmips.h	2007-10-10 13:27:20.000000000 +0200
@@ -145,7 +145,7 @@ protected:
 		TerminalController *c, const char *c_name) throw();
 
 	/* Initialize the halt device if it is configured. */
-    bool vmips::setup_haltdevice() throw( std::bad_alloc );
+	bool setup_haltdevice() throw( std::bad_alloc );
 
 public:
 	void refresh_options(void);