fix compilation with ghc < 7.10

agda · Oct 30, 2015 · 660de58 · 660de58
1 parent ba574b7
commit 660de58
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/full/Agda/Compiler/Treeless/Builtin.hs b/src/full/Agda/Compiler/Treeless/Builtin.hs
@@ -20,6 +20,8 @@
 {-# LANGUAGE FlexibleContexts #-}
 module Agda.Compiler.Treeless.Builtin (translateBuiltins) where
 
+import Control.Applicative
+
 import qualified Agda.Syntax.Internal as I
 import Agda.Syntax.Abstract.Name (QName)
 import Agda.Syntax.Position