Wrap long comment line

informalsystems · Jul 11, 2023 · b98fa8a · b98fa8a
1 parent a9e6812
commit b98fa8a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/quint/src/runtime/compile.ts b/quint/src/runtime/compile.ts
@@ -60,7 +60,9 @@ export interface CompilationContext {
 export interface CompilationState {
   // The ID generator used during compilation.
   idGen: IdGenerator
-  // A list of modules as they are constructed, without flattening. This is needed to derive correct name resolution during incremental compilation in a flattened context. 
+  // A list of modules as they are constructed, without flattening. This is
+  // needed to derive correct name resolution during incremental compilation in
+  // a flattened context.
   originalModules: QuintModule[]
   // A list of flattened modules.
   modules: FlatModule[]