diff --git a/ice-9/r5rs.scm b/ice-9/r5rs.scm
index a3d0d2f66..2236c59b3 100644
--- a/ice-9/r5rs.scm
+++ b/ice-9/r5rs.scm
@@ -44,8 +44,3 @@
 		 (list n)
 		 '()))
   scheme-report-interface)
-
-(define interaction-interface (resolve-interface '(guile-user)))
-
-(define (interaction-environment)
-  interaction-interface)