From 94de7b51f59ae655f04d1ec5776a60e834ea6de6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Fri, 6 Nov 2015 15:36:45 +0100
Subject: [PATCH] Tiny cleanup.
---
src/interpret.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/interpret.ml b/src/interpret.ml
index 2ce50db2f..339500e2f 100644
--- a/src/interpret.ml
+++ b/src/interpret.ml
@@ -497,7 +497,7 @@ let read_messages filename : run or_comment list =
match SentenceParser.entry SentenceLexer.lex lexbuf with
| exception Parsing.Parse_error ->
Error.error
- (Positions.one (Lexing.lexeme_start_p lexbuf))
+ [Positions.cpos lexbuf]
"ill-formed sentence."
| sentences ->
(* In principle, we should now find a segment of whitespace
--
GitLab