summaryrefslogtreecommitdiff
path: root/src/data/lib/prim/Agda/Builtin/Equality.agda
diff options
context:
space:
mode:
Diffstat (limited to 'src/data/lib/prim/Agda/Builtin/Equality.agda')
-rw-r--r--src/data/lib/prim/Agda/Builtin/Equality.agda1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/data/lib/prim/Agda/Builtin/Equality.agda b/src/data/lib/prim/Agda/Builtin/Equality.agda
index 83e9ec0..9e6d13a 100644
--- a/src/data/lib/prim/Agda/Builtin/Equality.agda
+++ b/src/data/lib/prim/Agda/Builtin/Equality.agda
@@ -1,3 +1,4 @@
+{-# OPTIONS --without-K #-}
module Agda.Builtin.Equality where