Fix comment

informalsystems · Aug 2, 2023 · 60fb43b · 60fb43b
1 parent ad0ddca
commit 60fb43b
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/quint/src/quintVerifier.ts b/quint/src/quintVerifier.ts
@@ -327,7 +327,9 @@ async function connect(cmdExecutor: AsyncCmdExecutor): Promise<VerifyResult<Apal
  * @returns right(void) if verification succeeds, or left(err) explaining the failure
  */
 export async function verify(config: any): Promise<VerifyResult<void>> {
-  // Attempt to load proto definition from Apalache distribution, else via reflection
+  // Attempt to load proto definition:
+  // - if APALACHE_DIST is set, from the Apalache distribution
+  // - otherwise, via gRPC reflection
   const protoDefResult = process.env.APALACHE_DIST
     ? findApalacheDistribution().chain(dist => loadProtoDefViaDistribution(dist))
     : await loadProtoDefViaReflection()