tests/lean/301.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google


            
            301.lean:1:5: error: expected token

            
            301.lean:1:21: error: expected token
	301.lean:1:5: error: expected token
	301.lean:1:21: error: expected token