From 41dfd921bf7299b642278692b7deaecf83f94aca Mon Sep 17 00:00:00 2001
From: dewert99 <dewert10@gmail.com>
Date: Fri, 20 Oct 2023 09:26:53 -0700
Subject: [PATCH] removed seq2

---
 creusot-contracts/src/logic.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/creusot-contracts/src/logic.rs b/creusot-contracts/src/logic.rs
index 010d00c4d0..7d66d19075 100644
--- a/creusot-contracts/src/logic.rs
+++ b/creusot-contracts/src/logic.rs
@@ -7,7 +7,6 @@ mod mapping;
 mod ops;
 pub mod ord;
 mod seq;
-mod seq2;
 mod set;
 
 pub use fmap::FMap;