diff --git a/quint/src/runtime/compile.ts b/quint/src/runtime/compile.ts
index 59efb996f..02816cfb8 100644
--- 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[]