From 33c0e1cdc9544b66fc8e14929d20634b81166003 Mon Sep 17 00:00:00 2001 From: viktorwichern <135847866+viktorwichern@users.noreply.github.com> Date: Wed, 12 Jul 2023 16:46:02 +0200 Subject: [PATCH] Update src/ontology/edits/oeo-shared.omn --- src/ontology/edits/oeo-shared.omn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ontology/edits/oeo-shared.omn b/src/ontology/edits/oeo-shared.omn index 09821776b..d9e908fac 100644 --- a/src/ontology/edits/oeo-shared.omn +++ b/src/ontology/edits/oeo-shared.omn @@ -2730,7 +2730,7 @@ pull request: https://github.com/OpenEnergyPlatform/ontology/pull/1531 issue: https://github.com/OpenEnergyPlatform/ontology/issues/1577 -pull: https://github.com/OpenEnergyPlatform/ontology/pull/1618", +pull: https://github.com/OpenEnergyPlatform/ontology/pull/1618" make equivalent and add axiom: issue: https://github.com/OpenEnergyPlatform/ontology/issues/1523