# HG changeset patch
# User diego
# Date 1234368724 0
# Node ID ba83a0c57e9f68a698306f30411e6046e63c25af
# Parent  096ab16191a992ad68fa4a933a3a1d452660c2cc
Fix wrong file name in header, noticed by David DeHaven, dave sagetv com.

diff -r 096ab16191a9 -r ba83a0c57e9f x86/x86util.asm
--- a/x86/x86util.asm	Wed Feb 11 14:57:42 2009 +0000
+++ b/x86/x86util.asm	Wed Feb 11 16:12:04 2009 +0000
@@ -1,5 +1,5 @@
 ;*****************************************************************************
-;* x86inc.asm
+;* x86util.asm
 ;*****************************************************************************
 ;* Copyright (C) 2008 Loren Merritt <lorenm@u.washington.edu>
 ;*