fix additive identity example

1 files changed, 3 insertions, 1 deletions

diff --git a/src/Lib.hs b/src/Lib.hs
index 13dc4ac..e8bc698 100644
--- a/src/Lib.hs
+++ b/src/Lib.hs
@@ -209,6 +209,8 @@ chars n =
    in map (1 :) r ++ map (0 :) r
 
 minimize :: (Ord a) => Integer -> NFA [Int] a -> NFA [Int] a
-minimize n nfa@(NFA _ starts accepts f) = NFA states' starts accepts f
+minimize n nfa@(NFA _ starts accepts f) = NFA states' starts' accepts' f
   where
     states' = closure nfa (chars n) starts
+    starts' = starts `L.intersect` states'
+    accepts' = accepts `L.intersect` states'