Export EmacsTop.prettyResponseContext for agda-language-server

agda · Nov 30, 2023 · 4293e0a · 4293e0a
1 parent 454a5ec
commit 4293e0a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/full/Agda/Interaction/EmacsTop.hs b/src/full/Agda/Interaction/EmacsTop.hs
@@ -6,6 +6,7 @@ module Agda.Interaction.EmacsTop
     , showGoals
     , showInfoError
     , explainWhyInScope
+    , prettyResponseContext
     , prettyTypeOfMeta
     ) where