diff --git a/collects/eopl/eopl.ss b/collects/eopl/eopl.ss index 42b5ed29ca..34f7e96d16 100644 --- a/collects/eopl/eopl.ss +++ b/collects/eopl/eopl.ss @@ -140,6 +140,7 @@ require module ;; we allow full use of modules provide ;; in case someone wants to use a module make-parameter + parameterize print-struct maybe)