From 0f1eab8a574ce8d59993cd61c2652e45a710c107 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Thu, 21 Feb 2008 03:52:10 +0000
Subject: [PATCH] Doh... Forgot to add missing 0x prefix to hex constants.

---
 v7/src/microcode/prdb4.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/v7/src/microcode/prdb4.scm b/v7/src/microcode/prdb4.scm
index 36726d577..8d9b1d60b 100644
--- a/v7/src/microcode/prdb4.scm
+++ b/v7/src/microcode/prdb4.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: prdb4.scm,v 1.2 2008/01/30 20:02:18 cph Exp $
+$Id: prdb4.scm,v 1.3 2008/02/21 03:52:10 cph Exp $
 
 Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994,
     1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
@@ -84,7 +84,7 @@ USA.
 		  ((removed) "<")
 		  (else (error "Unknown action:" action)))
 		port)
-  (write-string " " port)
+  (write-string " 0x" port)
   (write-string version port)
   (write-string ")" port))
 
-- 
2.25.1