From 088174d752a6ba3663d2a33d00a6848ff715a145 Mon Sep 17 00:00:00 2001
From: Michael Kraus <michael.kraus@ipp.mpg.de>
Date: Thu, 4 Feb 2021 09:03:09 +0100
Subject: [PATCH] Fix in Lobatto nullvector constructor.

---
 src/tableaus/lobatto.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tableaus/lobatto.jl b/src/tableaus/lobatto.jl
index 7d2600f..a380f6c 100644
--- a/src/tableaus/lobatto.jl
+++ b/src/tableaus/lobatto.jl
@@ -57,7 +57,7 @@ function get_lobatto_nullvector(::Type{T}, s; normalize=false) where {T}
     normalize ? T.(LinearAlgebra.normalize(w) .* sign(w[begin])) : T.(w)
 end
 
-get_lobatto_nullvector(s; kwargs...) = get_lobatto_nullvector(BigFloat, s; kwargs...)
+get_lobatto_nullvector(s; kwargs...) = get_lobatto_nullvector(Float64, s; kwargs...)
 
 
 @doc raw"""