From 6ce4d542746bf5c000892b7e49bb2502427cd80e Mon Sep 17 00:00:00 2001 From: Adrien Guatto Date: Mon, 27 Mar 2017 18:16:16 -0400 Subject: [PATCH] Escape @ in error message --- bin/main.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/main.ml b/bin/main.ml index 772f44c3..84d6625e 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -269,7 +269,7 @@ let resolve_targets ~log common (setup : Main.setup) user_targets = let s = String.sub s ~pos:1 ~len:(String.length s - 1) in let path = Path.relative Path.root (prefix_target common s) in if Path.is_root path then - die "@ on the command line must be followed by a valid alias name" + die "@@ on the command line must be followed by a valid alias name" else let dir = Path.parent path in let name = Path.basename path in