Re-order imports

informalsystems · Aug 21, 2023 · 070ca91 · 070ca91
1 parent 7944c89
commit 070ca91
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/quint/src/names/collector.ts b/quint/src/names/collector.ts
@@ -25,7 +25,7 @@ import {
   QuintTypeDef,
   QuintVar,
 } from '../ir/quintIr'
-import { LookupDefinition, DefinitionsByModule, DefinitionsByName, LookupTable, builtinNames, copyNames } from './base'
+import { DefinitionsByModule, DefinitionsByName, LookupDefinition, LookupTable, builtinNames, copyNames } from './base'
 import {
   moduleNotFoundError,
   nameNotFoundError,