Fir formatting

informalsystems · Oct 20, 2023 · 474b6aa · 474b6aa
1 parent e9eafd3
commit 474b6aa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/quint/src/types/specialConstraints.ts b/quint/src/types/specialConstraints.ts
@@ -16,7 +16,7 @@
 import { Either, left, mergeInMany, right } from '@sweet-monads/either'
 import { Error, buildErrorLeaf } from '../errorTree'
 import { expressionToString } from '../ir/IRprinting'
-import { QuintEx, QuintStr } from '../ir/quintIr'
+import { QuintEx } from '../ir/quintIr'
 import { QuintType, QuintVarType } from '../ir/quintTypes'
 import { Constraint } from './base'
 import { chunk, times } from 'lodash'