Commit 95f938db authored by Gabor Greif's avatar Gabor Greif 💬
Browse files

Fix a typo in comment

parent 15a3de12
......@@ -802,7 +802,7 @@ fromListBL bound l = BL (length l) bound l []
--
-- (setContext imports) sets the ic_imports field (which in turn
-- determines what is in scope at the prompt) to 'imports', and
-- constucts the ic_rn_glb_env environment to reflect it.
-- constructs the ic_rn_glb_env environment to reflect it.
--
-- We retain in scope all the things defined at the prompt, and kept
-- in ic_tythings. (Indeed, they shadow stuff from ic_imports.)
......
Markdown is supported
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