diff --git a/iog-prelude.agda-lib b/iog-prelude.agda-lib
index 63cab64..86331dc 100644
--- a/iog-prelude.agda-lib
+++ b/iog-prelude.agda-lib
@@ -3,4 +3,4 @@ depend:
   standard-library
   standard-library-classes
 include: src
-flags: --erasure
+flags: --safe