From a40f40f230e6312ae432f06e7f73aa5945d8fa49 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 18 Jul 2021 23:10:18 -0400
Subject: New JVM compiler can now compile JVM interfaces.

---
 stdlib/source/test/aedifex/project.lux | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'stdlib/source/test/aedifex/project.lux')

diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index bdeee7993..5b6de5403 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -46,6 +46,10 @@
                  (_.for [/.monoid]
                         ($monoid.spec /.equivalence /.monoid ..random))
 
+                 (_.cover [/.file]
+                          (|> /.file
+                              (text\= "")
+                              not))
                  (do random.monad
                    [[super_name super_profile] ..profile
                     [dummy_name dummy_profile] (random.filter (|>> product.left (text\= super_name) not)
-- 
cgit v1.2.3