Merge branch 'master' into replace-synonym-types

obophenotype · Oct 26, 2023 · 6a578a2 · 6a578a2
2 parents 13547ca + 276ae33
commit 6a578a2
Show file tree

Hide file tree

Showing 3 changed files with 757 additions and 758 deletions.
diff --git a/src/ontology/profile.txt b/src/ontology/profile.txt
@@ -27,6 +27,6 @@ ERROR	equivalent_class_axiom_no_genus
 ERROR	illegal_use_of_built_in_vocabulary
 ERROR	invalid_entity_uri
 ERROR	missing_subset_declaration
-ERROR	missing_synonymtype_declaration
+WARN	missing_synonymtype_declaration
 ERROR	misused_replaced_by
 ERROR	multiple_equivalent_class_definitions