Merge pull request #91 from Accord-Project/AmnaKRDB-patch-10

Update aec3po.overview.md
Accord-Project · Oct 25, 2023 · 151d38d · 151d38d
2 parents 276db83 + ec54ab2
commit 151d38d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/aec3po.overview.md b/src/aec3po.overview.md
@@ -44,7 +44,7 @@ Below is an overview of the core modules and their components:
     - Classes: _Design_, _PropertyDesign_.
     - Properties: _hasDesign_.
 
-10. **[Legal Verifier](https://ci.mines-stetienne.fr/aec3po/design)**: This AEC3PO module defines state and private verifiers. 
+10. **[Legal Verifier](https://ci.mines-stetienne.fr/aec3po/legal_verifier)**: This AEC3PO module defines state and private verifiers. 
     - Classes: _LegalVerifier_, _PrivateVerifier_, _StateVerifier_.
     - Properties: _hasDesign_.