diff options
| -rw-r--r-- | src/VeriFuzz/Reduce.hs (renamed from src/VeriFuzz/Sim/Reduce.hs) | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/VeriFuzz/Sim/Reduce.hs b/src/VeriFuzz/Reduce.hs index 6dfe757..61b83df 100644 --- a/src/VeriFuzz/Sim/Reduce.hs +++ b/src/VeriFuzz/Reduce.hs @@ -1,5 +1,5 @@ {-| -Module : VeriFuzz.Sim.Reduce +Module : VeriFuzz.Reduce Description : Test case reducer implementation. Copyright : (c) 2019, Yann Herklotz License : GPL-3 @@ -13,7 +13,7 @@ Test case reducer implementation. {-# LANGUAGE RankNTypes #-} {-# LANGUAGE ScopedTypeVariables #-} -module VeriFuzz.Sim.Reduce +module VeriFuzz.Reduce ( reduce ) where |