From 896ce81c96ae7a9d7a56eab80dcc6ec42325c944 Mon Sep 17 00:00:00 2001 From: malc Date: Mon, 7 Dec 2015 02:23:48 +0300 Subject: [PATCH] Fix error message --- utils.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/utils.ml b/utils.ml index d7168bf..76094e4 100644 --- a/utils.ml +++ b/utils.ml @@ -39,7 +39,7 @@ let bound v minv maxv = max minv (min maxv v);; let spawn cmd fda = if platform = Pcygwin - then failwith "popen not implemented under cygwin yet" + then failwith "spawn not implemented under cygwin yet" else spawn cmd fda; ;; -- 2.11.4.GIT