Remove unused imports

informalsystems · Aug 4, 2023 · 5a9bf78 · 5a9bf78
1 parent 8b84c2c
commit 5a9bf78
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 3 deletions.
diff --git a/quint/src/cliCommands.ts b/quint/src/cliCommands.ts
@@ -45,7 +45,6 @@ import { verify } from './quintVerifier'
 import { flattenModules } from './flattening'
 import { analyzeModules } from './quintAnalyzer'
 import { ExecutionFrame } from './runtime/trace'
-import { unreachable } from './util'
 
 export type stage = 'loading' | 'parsing' | 'typechecking' | 'testing' | 'running' | 'documentation'
 

diff --git a/quint/src/parsing/ToIrListener.ts b/quint/src/parsing/ToIrListener.ts
@@ -19,7 +19,6 @@ import { compact, zipWith } from 'lodash'
 import { Maybe, just, none } from '@sweet-monads/maybe'
 import { TerminalNode } from 'antlr4ts/tree/TerminalNode'
 import { QuintTypeDef } from '../quintIr'
-import { unreachable } from '../util'
 
 /**
  * An ANTLR4 listener that constructs QuintIr objects out of the abstract

diff --git a/quint/src/types/substitutions.ts b/quint/src/types/substitutions.ts
@@ -16,7 +16,6 @@ import { Either } from '@sweet-monads/either'
 import { ErrorTree, errorTreeToString } from '../errorTree'
 import { LookupTable } from '../names/base'
 import { ConcreteFixedRow, QuintType, Row } from '../quintTypes'
-import { unreachable } from '../util'
 import { Constraint } from './base'
 import { unify, unifyRows } from './constraintSolver'
 import { substitutionsToString } from './printing'