# HG changeset patch
# User mroi
# Date 1065538409 0
# Node ID 2399181ad7d925c47b31282db6d3392fe740be00
# Parent  9e50e0ed65bc2d63cda31e1937cdb7c5ea72076e
kill one gcc warning

diff -r 9e50e0ed65bc -r 2399181ad7d9 nav_read.c
--- a/nav_read.c	Tue Sep 16 14:51:02 2003 +0000
+++ b/nav_read.c	Tue Oct 07 14:53:29 2003 +0000
@@ -96,6 +96,8 @@
   return result;
 }
 
+#if 0  /* TODO: optimized versions not yet used */
+
 /* WARNING: This function can only be used on a byte boundary.
             No checks are made that we are in fact on a byte boundary.
  */
@@ -120,6 +122,8 @@
   return result;
 }
 
+#endif
+
 void navRead_PCI(pci_t *pci, unsigned char *buffer) {
   int32_t i, j;
   getbits_state_t state;