haskal
/
utop
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix directive name

This commit is contained in:
Jeremie Dimino 2017-04-11 17:36:56 +01:00
parent 4661944155
commit a71455b2fd
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/uTop.ml
View File

@ -676,7 +676,7 @@ let () =
out out
end end
in in
Hashtbl.add Toploop.directive_table "utop_save_session" (Toploop.Directive_string fn) Hashtbl.add Toploop.directive_table "utop_save" (Toploop.Directive_string fn)
(* +-----------------------------------------------------------------+ (* +-----------------------------------------------------------------+
| Camlp4 | | Camlp4 |