Don't (re-)export buildNum from SolveHoles.hs

CQCL · Jan 7, 2025 · 98c74f8 · 98c74f8
1 parent daf2443
commit 98c74f8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/brat/Brat/Checker/SolveHoles.hs b/brat/Brat/Checker/SolveHoles.hs
@@ -1,8 +1,8 @@
-module Brat.Checker.SolveHoles (typeEq, buildNum) where
+module Brat.Checker.SolveHoles (typeEq) where
 
 import Brat.Checker.Monad
 import Brat.Checker.Types (kindForMode)
-import Brat.Checker.Helpers (buildConst, buildNatVal, buildNum)
+import Brat.Checker.Helpers (buildConst, buildNatVal)
 import Brat.Error (ErrorMsg(..))
 import Brat.Eval
 import Brat.Syntax.Common