Working version save

JobPetrovcic · Apr 10, 2024 · e813140 · e813140
1 parent 4bf59db
commit e813140
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/Agda.cabal b/Agda.cabal
@@ -789,6 +789,10 @@ library
       Agda.Interaction.Options.HasOptions
       Agda.Utils.CallStack.Base
       Agda.Utils.CallStack.Pretty
+      Agda.Interaction.Highlighting.Sexp
+      Agda.Interaction.Highlighting.Sexp.Backend
+      Agda.Interaction.Highlighting.Sexp.Base
+      Agda.Interaction.Highlighting.Sexp.Sexp
 
 -- Agda binary
 ---------------------------------------------------------------------------