diff --git a/osek-verification.cabal b/osek-verification.cabal
index 353ee4bcbac253e20254fa0c1327ec7fa84ec478..d66ac06b48db8b1ba3c1ceea54b55e2baa523acb 100644
--- a/osek-verification.cabal
+++ b/osek-verification.cabal
@@ -21,7 +21,7 @@ library
                      , CFG.C
                      , CFG.Types
                      , CFG.Sanitize
-                     , Search.Search2
+                     , Search.Search
                      , Search.Types
                      , Search.EpsilonElimination
                      , Protocol
diff --git a/src/Search/Search2.hs b/src/Search/Search.hs
similarity index 99%
rename from src/Search/Search2.hs
rename to src/Search/Search.hs
index 98d041fb1e4b87f18462def37a2ae7e0b55c31d8..14d89a85847cfcee4d2bf4b00f59dece6cfb116b 100644
--- a/src/Search/Search2.hs
+++ b/src/Search/Search.hs
@@ -1,7 +1,7 @@
 {-# LANGUAGE LambdaCase, OverloadedStrings #-}
 {-# LANGUAGE ViewPatterns #-}
 
-module Search.Search2 (driver) where
+module Search.Search (driver) where
 
 import           Control.Monad
 import           Data.Foldable
diff --git a/src/main/Main.hs b/src/main/Main.hs
index 1e2c041a30f0e4762b6e7f851855d9bb116dc119..9e18d42dd85d0d6492849a457f93b871dc756116 100644
--- a/src/main/Main.hs
+++ b/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