Update schemas to match new identifier restrictions.

1 year ago · e034486aaa
6 changed files with 3 additions and 3 deletions
--- a/dataspace.prs
+++ b/dataspace.prs
@ -1,4 +1,4 @@
				@@ -1,4 +1,4 @@
 version 1 .
 embeddedType EntityRef.Ref .

-Observe = <Observe @pattern dataspace-patterns.Pattern @observer #!any>.
+Observe = <Observe @pattern dataspacePatterns.Pattern @observer #!any>.
--- a/dataspace-patterns.prs
+++ b/dataspace-patterns.prs
--- a/racket-event.prs
+++ b/racket-event.prs
--- a/secure-chat-protocol.prs
+++ b/secure-chat-protocol.prs
--- a/service.prs
+++ b/service.prs
@ -1,5 +1,5 @@
				@@ -1,5 +1,5 @@
 version 1 .
 embeddedType EntityRef.Ref .

-RequireService = <require-service @service-name any>.
-ServiceRunning = <service-running @service-name any>.
+RequireService = <require-service @serviceName any>.
+ServiceRunning = <service-running @serviceName any>.
--- a/simple-chat-protocol.prs
+++ b/simple-chat-protocol.prs