fix compilation with ghc-7.8

agda · Oct 29, 2015 · 23399f0 · 23399f0
1 parent 795f29b
commit 23399f0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/full/Agda/TypeChecking/Primitive.hs b/src/full/Agda/TypeChecking/Primitive.hs
@@ -16,6 +16,7 @@ import Data.Map (Map)
 import qualified Data.Map as Map
 import Data.Maybe
 import Data.Traversable (traverse)
+import Data.Monoid (mempty)
 
 import Agda.Interaction.Options