From deaa0580d952b77cf9e6df024d1f71ed29f53fc0 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Wed, 27 Jul 2022 16:34:14 +0200
Subject: chore: bump dependencies

---
 subprojects/frontend/src/xtext/xtextMessages.ts | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'subprojects/frontend/src/xtext/xtextMessages.ts')

diff --git a/subprojects/frontend/src/xtext/xtextMessages.ts b/subprojects/frontend/src/xtext/xtextMessages.ts
index c4305fcf..4bf49c17 100644
--- a/subprojects/frontend/src/xtext/xtextMessages.ts
+++ b/subprojects/frontend/src/xtext/xtextMessages.ts
@@ -1,14 +1,14 @@
 import { z } from 'zod';
 
 export const xtextWebRequest = z.object({
-  id: z.string().nonempty(),
+  id: z.string().min(1),
   request: z.unknown(),
 });
 
 export type XtextWebRequest = z.infer<typeof xtextWebRequest>;
 
 export const xtextWebOkResponse = z.object({
-  id: z.string().nonempty(),
+  id: z.string().min(1),
   response: z.unknown(),
 });
 
@@ -19,7 +19,7 @@ export const xtextWebErrorKind = z.enum(['request', 'server']);
 export type XtextWebErrorKind = z.infer<typeof xtextWebErrorKind>;
 
 export const xtextWebErrorResponse = z.object({
-  id: z.string().nonempty(),
+  id: z.string().min(1),
   error: xtextWebErrorKind,
   message: z.string(),
 });
@@ -31,8 +31,8 @@ export const xtextWebPushService = z.enum(['highlight', 'validate']);
 export type XtextWebPushService = z.infer<typeof xtextWebPushService>;
 
 export const xtextWebPushMessage = z.object({
-  resource: z.string().nonempty(),
-  stateId: z.string().nonempty(),
+  resource: z.string().min(1),
+  stateId: z.string().min(1),
   service: xtextWebPushService,
   push: z.unknown(),
 });
-- 
cgit v1.2.3-70-g09d2