@@ -78,11 +78,10 @@
 (declare (uses mt))
 (declare (uses api))
 (declare (uses env))
 (declare (uses diff-report))
 (declare (uses runs))
-(declare (uses launch))
 (declare (uses server))
 (declare (uses genexample))
 (declare (uses mtbody))
 
 (import csi)