# HG changeset patch
# User jcdutton
# Date 1051654306 0
# Node ID fb1b6c1c3d2c885b4005aa5ad8463132010555f5
# Parent  36777e6346c52a3161160d2a6d249415f583ce0a
Comment update.

diff -r 36777e6346c5 -r fb1b6c1c3d2c nav_read.c
--- a/nav_read.c	Tue Apr 29 19:31:37 2003 +0000
+++ b/nav_read.c	Tue Apr 29 22:11:46 2003 +0000
@@ -238,7 +238,7 @@
 	CHECK_VALUE(pci->hli.btnit[n].down <= pci->hli.hl_gi.btn_ns);
 	CHECK_VALUE(pci->hli.btnit[n].left <= pci->hli.hl_gi.btn_ns);
 	CHECK_VALUE(pci->hli.btnit[n].right <= pci->hli.hl_gi.btn_ns);
-	//vmcmd_verify(pci->hli.btnit[n].cmd);
+	/* vmcmd_verify(pci->hli.btnit[n].cmd); */
       } else {
 	int k;
 	CHECK_VALUE(pci->hli.btnit[n].btn_coln == 0);
@@ -252,7 +252,7 @@
 	CHECK_VALUE(pci->hli.btnit[n].left == 0);
 	CHECK_VALUE(pci->hli.btnit[n].right == 0);
 	for (k = 0; k < 8; k++)
-	  CHECK_VALUE(pci->hli.btnit[n].cmd.bytes[k] == 0); //CHECK_ZERO?
+	  CHECK_VALUE(pci->hli.btnit[n].cmd.bytes[k] == 0); /* CHECK_ZERO? */
       }
     }
   }