From b953490f7d12ca59d529087e746e2a5e0cf50b0f Mon Sep 17 00:00:00 2001 From: malc Date: Sun, 18 Jan 2015 00:15:42 +0300 Subject: [PATCH] Don't lie --- main.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.ml b/main.ml index 46a676c..e6769e4 100644 --- a/main.ml +++ b/main.ml @@ -4833,7 +4833,7 @@ let prevpage () = let save () = if emptystr conf.savecmd - then error "don't know how to save modified document" + then error "don't know where to save modified document" else match Unix.open_process_in conf.savecmd with | (exception exn) -> -- 2.11.4.GIT