@@ -10,8 +10,8 @@ Maintainer : The Idris Community.
1010module Idris.ErrReverse(errReverse) where
1111
1212import Idris.AbsSyntax
13+import Idris.Core.Evaluate (unfold)
1314import Idris.Core.TT
14−import Idris.Core.Evaluate(unfold)
1515import Util.Pretty
1616
1717import Data.List
@@ -26,7 +26,7 @@ errReverse ist t = rewrite 5 (do_unfold t) -- (elideLambdas t)
2626 do_unfold :: Term -> Term
2727 do_unfold t = let ns = idris_errReduce ist in
2828 if null ns then t
29− else unfold (tt_ctxt ist) []
29+ else unfold (tt_ctxt ist) []
3030 (map (\x -> (x, 1000)) (idris_errReduce ist))
3131 t
3232