Fix formatting

informalsystems · Aug 5, 2023 · 832ee8a · 832ee8a
1 parent fb420a6
commit 832ee8a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/quint/src/IRprinting.ts b/quint/src/IRprinting.ts
@@ -12,7 +12,7 @@
  * @module
  */
 
-import { OpQualifier, QuintDef, QuintEx, QuintModule, isAnnotatedDef, MatchCase } from './quintIr'
+import { MatchCase, OpQualifier, QuintDef, QuintEx, QuintModule, isAnnotatedDef } from './quintIr'
 import { EmptyRow, QuintSumType, QuintType, Row, RowField, VarRow, isUnitType } from './quintTypes'
 import { TypeScheme } from './types/base'
 import { typeSchemeToString } from './types/printing'

diff --git a/quint/src/flattening.ts b/quint/src/flattening.ts
@@ -22,11 +22,11 @@ import {
   QuintExport,
   QuintImport,
   QuintInstance,
+  QuintLambda,
   QuintModule,
   QuintOpDef,
   isAnnotatedDef,
   isFlat,
-  QuintLambda,
 } from './quintIr'
 import { definitionToString } from './IRprinting'
 import { ConcreteFixedRow, QuintType, Row } from './quintTypes'