Rename Search.Search2 module to Search.Search

osek-verification.cabal

@@ -21,7 +21,7 @@ library
                      , CFG.C
                      , CFG.Types
                      , CFG.Sanitize
-                     , Search.Search2
+                     , Search.Search
                      , Search.Types
                      , Search.EpsilonElimination
                      , Protocol

src/Search/Search2.hs → src/Search/Search.hs

 {-# LANGUAGE LambdaCase, OverloadedStrings #-}
 {-# LANGUAGE ViewPatterns #-}
 
-module Search.Search2 (driver) where
+module Search.Search (driver) where
 
 import           Control.Monad
 import           Data.Foldable

src/main/Main.hs

@@ -12,7 +12,7 @@ import           CFG.Graph
 import           CFG.IR
 import           CFG.C
 import           CFG.Sanitize
-import           Search.Search2
+import           Search.Search
 
 data Command = Mockup MockupOpts | Search SearchOpts