diff --git a/quint/src/names/collector.ts b/quint/src/names/collector.ts
index 33cb54529..8e8083547 100644
--- a/quint/src/names/collector.ts
+++ b/quint/src/names/collector.ts
@@ -27,9 +27,9 @@ import {
   qualifier,
 } from '../ir/quintIr'
 import {
-  LookupDefinition,
   DefinitionsByModule,
   DefinitionsByName,
+  LookupDefinition,
   LookupTable,
   addNamespacesToDef,
   builtinNames,