diff -r 284ac979f289 -r dca072e2bb7d progs/bf/bfc1.sc
--- a/progs/bf/bfc1.sc	Fri Feb 26 08:47:18 2021 +0000
+++ b/progs/bf/bfc1.sc	Thu May 13 13:10:38 2021 +0100
@@ -75,7 +75,7 @@
   (end - start)/(n * 1.0e9)
 }
 
-@doc(" the argument should be a BF program ")
+//@doc(" the argument should be a BF program ")
 @main
 def main(fname: String) = {
   val bf_str = os.read(os.pwd / fname)