From 84ddff8696769b569c9484ce2affc646e2419fbb Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Wed, 22 Nov 2023 08:56:35 +0100 Subject: [PATCH] Add a link to issue 958 --- src/lib/frontend/models.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/lib/frontend/models.ml b/src/lib/frontend/models.ml index d15884e697..9829fef8eb 100644 --- a/src/lib/frontend/models.ml +++ b/src/lib/frontend/models.ml @@ -319,7 +319,9 @@ module SmtlibCounterExample = struct [Symbols.print] will always output AE native format, this doesn't agree when the output format is SMT-LIB. But the printer of expression will output the right string if we don't - give the arguments of the field. *) + give the arguments of the field. + + Issue: https://github.com/OCamlPro/alt-ergo/issues/958 *) let access = Fmt.str "%a" Expr.print (Expr.mk_term f [] ty) in add_records_destr records