From 71020c2f460e6031776df17cf8f2f71df5bb9730 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 20 Nov 2018 15:16:55 +0000
Subject: Add messages for assert failures without user defined messages

Also fix some C optimisations
---
 src/reporting.mli | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/reporting.mli')

diff --git a/src/reporting.mli b/src/reporting.mli
index a6878d6a..63ed3eee 100644
--- a/src/reporting.mli
+++ b/src/reporting.mli
@@ -62,7 +62,8 @@
 
 (** {2 Auxiliary Functions } *)
 
-val loc_to_string : Parse_ast.l -> string
+(** [loc_to_string] includes code from file if code optional argument is true (default) *)
+val loc_to_string : ?code:bool -> Parse_ast.l -> string
 
 (** [print_err fatal print_loc_source l head mes] prints an error / warning message to
     std-err. It starts with printing location information stored in [l]
-- 
cgit v1.2.3