Fix cyclic module dependency

maxsnew · Jan 10, 2025 · 939b216 · 939b216
1 parent 929a8a4
commit 939b216
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/code/cubical/Grammar/Equalizer.agda b/code/cubical/Grammar/Equalizer.agda
@@ -19,7 +19,7 @@ open import Grammar.Base Alphabet
 open import Grammar.LinearProduct Alphabet
 open import Grammar.Epsilon Alphabet
 open import Grammar.Inductive.Indexed Alphabet hiding (k)
-open import Grammar.Dependent Alphabet
+open import Grammar.Dependent.Base Alphabet
 
 open import Term.Base Alphabet
 open import Term.Bilinear Alphabet