Relax precondition for already compiled items.

openEHR · Aug 1, 2024 · 6583abc · 6583abc
1 parent 8bfdc89
commit 6583abc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/components/archetype_repository/src/library/arch_lib_archetype.e b/components/archetype_repository/src/library/arch_lib_archetype.e
@@ -708,7 +708,7 @@ feature -- Compilation
 			-- All suppliers valid: --> Cs_validated_closure
 			-- Any supplier failed: --> Cs_suppliers_invalid
 		require
-			compilation_state = Cs_validated_self
+			compilation_state >= Cs_validated_self
 		do
 			from suppliers_index.start until suppliers_index.off or suppliers_index.item_for_iteration.compilation_state < Cs_validated_self loop
 				suppliers_index.forth