From ec54ab25bc6c3bc98a3da10af59373c4bf7ff08f Mon Sep 17 00:00:00 2001 From: AMNA DRIDI Date: Wed, 25 Oct 2023 11:44:29 +0100 Subject: [PATCH] Update aec3po.overview.md --- src/aec3po.overview.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/aec3po.overview.md b/src/aec3po.overview.md index 32f2cda..cca09bf 100644 --- 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_.