Fix broken imports and module names

Probably all of these issues where caused by file renamings and similar refactorings.
VariantSync · Nov 14, 2023 · 0ed446b · 0ed446b
1 parent 45addec
commit 0ed446b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/Framework/Relation/Syntactic.lagda.md b/src/Framework/Relation/Syntactic.lagda.md
@@ -1,7 +1,7 @@
 ```agda
 {-# OPTIONS --sized-types #-}
 
-module Relations.Syntactic where
+module Framework.Relation.Syntactic where
 ```
 
 # Syntactic Relations of Variability Languages

diff --git a/src/Translation/LanguageMap.lagda.md b/src/Translation/LanguageMap.lagda.md
@@ -30,9 +30,9 @@ open import Lang.BCC
 ### Properties and Relations
 
 ```agda
+open import Framework.Relation.Expressiveness
 open import Framework.Properties.Completeness
-open import Framework.Properties.Conclude.Completeness
-open import Relations.Semantic
+open import Framework.Proof.Completeness
 ```
 
 ### Translations