From a71455b2fd66f3413cc890c1280176d3d8da2871 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Tue, 11 Apr 2017 17:36:56 +0100 Subject: [PATCH] Fix directive name --- src/lib/uTop.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/uTop.ml b/src/lib/uTop.ml index 843bab7..cbd1e1b 100644 --- a/src/lib/uTop.ml +++ b/src/lib/uTop.ml @@ -676,7 +676,7 @@ let () = out end 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 |