From c249ef5670b2c83ec0bfe3e7399ad3b3c4519eff Mon Sep 17 00:00:00 2001
From: Markus Hauru <mhauru@turing.ac.uk>
Date: Fri, 18 Oct 2024 14:31:22 +0100
Subject: [PATCH] Fix broken export

---
 src/HerbSpecification.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/HerbSpecification.jl b/src/HerbSpecification.jl
index b44ea7b..f3f7c49 100644
--- a/src/HerbSpecification.jl
+++ b/src/HerbSpecification.jl
@@ -15,7 +15,7 @@ export
     Trace,
 
     AbstractTypeSpecification,
-    DependentTypeSpecification,
+    AbstractDependentTypeSpecification,
     AgdaSpecification
 
 end # module HerbSpecification