From 4de97a8c6084a1ef2ef175762822469d98722438 Mon Sep 17 00:00:00 2001 From: Martin Bies Date: Thu, 23 Sep 2021 17:46:10 -0400 Subject: [PATCH] Remove extra white space Co-authored-by: Max Horn --- src/ToricVarieties.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ToricVarieties.jl b/src/ToricVarieties.jl index c6233793..c2b10c35 100644 --- a/src/ToricVarieties.jl +++ b/src/ToricVarieties.jl @@ -166,7 +166,7 @@ Checks if the normal toric variety `v` is projective, i.e. if the fan of `v` is # Examples ```julia-repl -julia> is_projective( projective_space( 2 ) ) +julia> is_projective( projective_space( 2 ) ) true ``` """