tests/lean/invalidEnd.lean - third_party/github.com/leanprover/lean4 - Git at Google


            
            namespace Foo.Bar

            
            section Baz

            
            section


            end Baz

            
            end Bal

            
            end Fool.Bar

            
            end
	namespace Foo.Bar
	section Baz
	section

	end Baz
	end Bal
	end Fool.Bar
	end