Index: trunk/util/fp2anim
===================================================================
--- trunk/util/fp2anim	(revision 456)
+++ trunk/util/fp2anim	(revision 457)
@@ -66,7 +66,7 @@
 		}
 		$0 = $0 " " tmp
 	}
-	print "directive: |" term "|" $0 "|" > "/dev/stderr"
+#	print "directive: |" term "|" $0 "|" > "/dev/stderr"
 }
 
 function edges(x, y)