1 files changed, 4 insertions, 3 deletions

diff --git a/subprojects/frontend/src/xtext/UpdateService.ts b/subprojects/frontend/src/xtext/UpdateService.ts
index d1246d5e..70e79764 100644
--- a/subprojects/frontend/src/xtext/UpdateService.ts
+++ b/subprojects/frontend/src/xtext/UpdateService.ts
@@ -343,9 +343,9 @@ export default class UpdateService {
     return { cancelled: false, data: parsedOccurrencesResult };
   }
 
-  async startModelGeneration(): Promise<
-    CancellableResult<ModelGenerationStartedResult>
-  > {
+  async startModelGeneration(
+    randomSeed: number,
+  ): Promise<CancellableResult<ModelGenerationStartedResult>> {
     try {
       await this.updateOrThrow();
     } catch (error) {
@@ -360,6 +360,7 @@ export default class UpdateService {
       serviceType: 'modelGeneration',
       requiredStateId: this.xtextStateId,
       start: true,
+      randomSeed,
     });
     if (isConflictResult(data)) {
       return { cancelled: true };