diff --git a/examples/all.quox b/examples/all.quox
index e95a025..5290e84 100644
--- a/examples/all.quox
+++ b/examples/all.quox
@@ -6,3 +6,4 @@ load "nat.quox"
 load "pair.quox"
 load "list.quox"
 load "eta.quox"
+load "fail.quox"