From ca034eb8691c1f3a5e9220e4ccad794ce055d983 Mon Sep 17 00:00:00 2001
From: Danny Willems <be.danny.willems@gmail.com>
Date: Fri, 17 Nov 2023 15:36:23 +0100
Subject: [PATCH] Move mips down

---
 optimism/src/lib.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/optimism/src/lib.rs b/optimism/src/lib.rs
index 3f9f007f12..767977b5f5 100644
--- a/optimism/src/lib.rs
+++ b/optimism/src/lib.rs
@@ -2,6 +2,8 @@ pub mod cannon;
 pub mod lookup;
 pub mod prover_index;
 pub mod proof;
-pub mod mips;
 pub mod verifier;
 pub mod verifier_index;
+
+// Sub directories
+pub mod mips;