[Readme] Fix - Githubissues

jesse-michael-han / lean-tpe-public

The Lean Theorem Proving Environment

Apache License 2.0

13 stars 4 forks source link

[Readme] Fix #1

Open DyeKuu opened 3 years ago

DyeKuu commented 3 years ago

don't know if it's system-agnostic but grep without pattern will not be happy on my machine ..

$ cat test/dummy_out_bfs_baseline.log | grep | wc -l
Usage: grep [OPTION]... PATTERNS [FILE]...
Try 'grep --help' for more information.
0

$ cat test/dummy_out_bfs_baseline.log | wc -l
31