[ wip ] Make ModelCoverage to be exported non-publicly

buzden · Sep 12, 2023 · fbdb57e · fbdb57e
1 parent c6c0639
commit fbdb57e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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