Reorganize imports

informalsystems · Aug 21, 2023 · 4f9e90f · 4f9e90f
1 parent 4c22d54
commit 4f9e90f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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,