From 9a3f05c8a0accf1abb7aedff68095e3bea7f470d Mon Sep 17 00:00:00 2001 From: ygrek Date: Sat, 18 Jul 2009 16:13:39 +0300 Subject: [PATCH] minor --- src/main.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main.ml b/src/main.ml index 14b07c1..a3f6d00 100644 --- a/src/main.ml +++ b/src/main.ml @@ -51,7 +51,7 @@ let parse_one (sql,props as x) = begin let extra = Printexc.to_string exn in Error.log "==> %s" sql; - if cnum = String.length sql then + if cnum = String.length sql && tok = "" then Error.log "Exception %s" extra else Error.log "Exception %s in %u:%u at \"%s%s\"" extra line cnum tok (String.slice ~last:32 tail); -- 2.11.4.GIT