From 8bb9a3060ba6425e00f81d801b57c73fec414e49 Mon Sep 17 00:00:00 2001
From: Ronny Bergmann <git@ronnybergmann.net>
Date: Sun, 22 Mar 2020 21:27:42 +0100
Subject: [PATCH] adds a test to cover the default case of number_system.

---
 test/empty_manifold.jl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/empty_manifold.jl b/test/empty_manifold.jl
index e9d09215..9793f908 100644
--- a/test/empty_manifold.jl
+++ b/test/empty_manifold.jl
@@ -12,6 +12,7 @@ struct NonCoTVector <: CoTVector end
     p = NonMPoint()
     v = NonTVector()
     @test base_manifold(M) == M
+    @test number_system(M) == ℝ
     @test_throws ErrorException ManifoldsBase.representation_size(M)
 
     @test_throws ErrorException manifold_dimension(M)