From fbdb57e054bd328bd1020a8db9f236f02b115599 Mon Sep 17 00:00:00 2001
From: Denis Buzdalov <public@buzden.ru>
Date: Mon, 11 Sep 2023 14:18:31 +0300
Subject: [PATCH] [ wip ] Make `ModelCoverage` to be exported non-publicly

---
 src/Test/DepTyCheck/Gen/Coverage.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Test/DepTyCheck/Gen/Coverage.idr b/src/Test/DepTyCheck/Gen/Coverage.idr
index fd622ddb7..99c800cb2 100644
--- a/src/Test/DepTyCheck/Gen/Coverage.idr
+++ b/src/Test/DepTyCheck/Gen/Coverage.idr
@@ -22,7 +22,7 @@ import Test.DepTyCheck.Gen
 
 %default total
 
-public export
+export
 record ModelCoverage where
   constructor MkModelCoverage
   unModelCoverage : SortedSet String