Remove unused import

informalsystems · Aug 16, 2023 · 71614e6 · 71614e6
1 parent b0c0897
commit 71614e6
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/quint/src/types/constraintGenerator.ts b/quint/src/types/constraintGenerator.ts
@@ -24,7 +24,6 @@ import {
   QuintInt,
   QuintLambda,
   QuintLet,
-  QuintModule,
   QuintName,
   QuintOpDef,
   QuintStr,