double-checked result

This commit is contained in:
Michael Jerger 2023-07-28 17:27:13 +02:00
parent 5f94abcfdb
commit e4594d9391

View file

@ -70,7 +70,6 @@
;http://www.w3.org/ns/activitystreams#result ;http://www.w3.org/ns/activitystreams#result
(s/def ::result (s/def ::result
(s/and (s/and
::owl/Class
::owl/ObjectProperty ::owl/ObjectProperty
::Object ::Object
::Link)) ::Link))