Fix too-new import
fixes https://github.com/idris-lang/Idris-dev/issues/724
commit7d30e05365ae84a2dfb3832750b4865c00850b45
authorMelvar Chen <Melvar.Chen@googlemail.com>
dateThu 12 Dec 2013, 20:12 (13 years ago)
parentb8f7742
src/Idris/DataOpts.hs+1−1
@@ -9,7 +9,7 @@ import Idris.AbsSyntaxTree
99import Core.TT
1010
1111import Control.Applicative
12−import qualified Data.IntMap.Strict as M
12+import qualified Data.IntMap as M
1313import Data.List
1414import Data.Maybe
1515import Debug.Trace