diff --git a/src/Core/Examples.hs b/src/Core/Examples.hs
index e0a6563..f783369 100644
--- a/src/Core/Examples.hs
+++ b/src/Core/Examples.hs
@@ -117,7 +117,7 @@ corePrelude = Module (Just ("Prelude", [])) $
         id x = x;
         k x y = x;
         k1 x y = y;
-        succ f g x = f x (g x);
+        s f g x = f x (g x);
         compose f g x = f (g x);
         twice f x = f (f x);
         fst p = casePair# p k;