hook callbacks before write

informalsystems · Jul 26, 2023 · 1a8cc1b · 1a8cc1b
1 parent 1921175
commit 1a8cc1b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/quint/src/quintVerifier.ts b/quint/src/quintVerifier.ts
@@ -228,7 +228,6 @@ async function loadProtoDefViaReflection(): Promise<VerifyResult<ProtoPackageDef
   const protoDefResponses: ServerReflectionResponse[] = await new Promise((resolve, reject) => {
     // Query reflection endpoint
     const call = reflectionClient.ServerReflectionInfo()
-    call.write({ file_containing_symbol: 'shai.cmdExecutor.CmdExecutor' })
 
     let responses: ServerReflectionResponse[] = []
 
@@ -248,6 +247,8 @@ async function loadProtoDefViaReflection(): Promise<VerifyResult<ProtoPackageDef
         reject(e)
       }
     })
+
+    call.write({ file_containing_symbol: 'shai.cmdExecutor.CmdExecutor' })
   })
 
   if (protoDefResponses.length === 0) {