diff --git a/src/cmd/venti/srv/trace.c b/src/cmd/venti/srv/trace.c
index f8669b3d..3c016955 100644
--- a/src/cmd/venti/srv/trace.c
+++ b/src/cmd/venti/srv/trace.c
@@ -35,4 +35,5 @@ traceinit(void)
 void
 settrace(char *trace)
 {
+	USED(trace);
 }