Commit 87b254e9 authored by Dan Grossman's avatar Dan Grossman
Browse files

comment out the clean-repl directives

parent 3103dced
......@@ -7,8 +7,8 @@
just to make the repl cleaner for teaching. You can leave
them commented out, or not, or use them in your homework,
or not, as you wish. *)
#utop_prompt_dummy
let _ = UTop.set_show_box false
(*#utop_prompt_dummy
let _ = UTop.set_show_box false *)
(* static env = ... *)
(* dynamic env = ... *)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment